⇝

⇝

1. (mathematics) leads to (a conclusion); the next step (in an algorithm or in solving a problem).

   For example, given the equation (x − a)(x − c) = 0, if it's been shown that x − c ≠ 0, one might then write

   (x − a)(x − c) = 0 ⇝ x − a = 0.

2. (graph theory) is reachable from.

   For example, in a directed graph u ⇝ v means v is reachable from u, for vertices u and v.

3. (topology) specializes to.

   For example, x₁ ⇝ x₀, where x₀ and x₁ are two points of a topological space, and x₀ ∈ {x₁} (every open neighborhood of x₀ contains x₁).

4. (set analysis) f : A ⇝ B means that f is a set-valued map from A to B.[1]