\lArrThe symbol \lArr is used to denote a leftwards double arrow, often representing logical implication or equivalence in mathematical logic and set theory.
Logical implication where A implies B
A \lArr BSet membership implication
x \in A \lArr x \in BChain of logical implications
P \lArr Q \lArr R