A horizontal right-pointing arrow symbol representing implications, mappings, limits, or directional relationships in mathematics.
Examples
Function mapping notation
f: X \rarr Y
Logical implication
P \rarr Q \text{ means if P then Q}
Sequential steps in a process
x_0 \rarr x_1 \rarr x_2 \rarr \cdots