\nLeftarrowThe \nLeftarrow command in LaTeX is used to produce a leftward double arrow, often used in mathematical contexts to denote implication or logical equivalence in the reverse direction.
Indicates that A is implied by B or B implies A in logic.
A \nLeftarrow BDenotes that x is not a consequence of y.
x \nLeftarrow yRepresents a chain of implications where R implies Q and Q implies P.
P \nLeftarrow Q \nLeftarrow R