A horizontal arrow symbol representing logical implication, function mapping, or limits in mathematical expressions.
Examples
Long-term limit notation
x_n \longrightarrow L \text{ as } n \longrightarrow \infty
Category theory morphism
F: \mathcal{C} \longrightarrow \mathcal{D}
Multi-step implication
A \longrightarrow B \longrightarrow C \text{ means A implies B implies C}