\Lrarr - LaTeX Symbol

Back to Symbols

\Leftrightarrow

\Lrarr

The \Lrarr command in LaTeX is used to produce a long double-headed arrow pointing both left and right. It is often used to denote logical equivalence or a bidirectional relationship between two statements or expressions.

Examples

A \Leftrightarrow B

Logical equivalence between statements A and B

A \Lrarr B

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

Bidirectional implication showing that 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