\LeftarrowThe \Leftarrow symbol is used in mathematical notation to denote a logical implication or a mapping from one set to another, typically read as 'implies' or 'maps to'. It is a leftward double arrow, often used in proofs and logical expressions to indicate that one statement or condition leads to another.
Logical implication where B implies A
A \Leftarrow BMapping from set Y to set X
f: X \Leftarrow YInductive step in a proof where P(n-1) implies P(n)
P(n) \Leftarrow P(n-1)