\hArr - LaTeX Symbol

Back to Symbols

\Leftrightarrow

\hArr

The \hArr command in LaTeX is used to produce a double-headed arrow pointing both left and right, representing logical equivalence or if and only if (iff) in mathematical expressions.

Examples

A \Leftrightarrow B

Logical equivalence between statements A and B

A \hArr B

P (x) \Leftrightarrow Q (x)

If and only if relationship between predicates P and Q

P(x) \hArr Q(x)

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

Logical equivalence showing that x equals 2 if and only if x squared equals 4

x = 2 \hArr x^2 = 4