A leftward-pointing arrow symbol commonly used to denote reverse mappings, implications, or limits approaching from the right.
Examples
Assignment or variable definition
x \leftarrow 5
Inverse function mapping
f^{-1}: \mathbb{R} \leftarrow \mathbb{R}
Algorithm step notation
\text{result} \leftarrow \text{computeValue}(n)