A leftward-pointing arrow symbol commonly used to denote mappings, implications, or limits going in the left direction.
Examples
Leftward mapping or function
f: Y \larr X
Reverse implication in logic
q \larr p \text{ means 'p implies q'}
Assignment operation in algorithms
x \larr x + 1