A leftward arrow symbol representing assignment operations or reverse implications in logic and computer science.
Examples
Variable assignment in algorithms
x \gets 5
Reverse function mapping
f: \mathbb{R} \gets \mathbb{Z}
Backward implication in logic
B \gets A \text{ means 'A implies B'}