\lrArr - LaTeX Symbol

Back to Symbols

\Leftrightarrow

\lrArr

The \lrArr command in LaTeX is used to produce a double-headed arrow pointing both left and right, often used to denote logical equivalence or biconditional statements in mathematical expressions.

Examples

A \Leftrightarrow B

Logical equivalence between statements A and B

A \lrArr B

x = 2 \Leftrightarrow x^{2} = 4

Biconditional statement indicating x equals 2 if and only if x squared equals 4

x = 2 \lrArr x^2 = 4

P \Leftrightarrow Q \Leftrightarrow R

Chain of logical equivalences among propositions P, Q, and R

P \lrArr Q \lrArr R