TeXipedia
Find LaTeX symbols fast

A bidirectional arrow symbol representing logical equivalence, biconditional statements, or bijective mappings between sets.

\leftrightarrow image

Examples

Logical equivalence

AB means ’A if and only if B’A \leftrightarrow B \text{ means 'A if and only if B'}
A \leftrightarrow B \text{ means 'A if and only if B'}

Bidirectional mapping

f:XY is a bijective functionf: X \leftrightarrow Y \text{ is a bijective function}
f: X \leftrightarrow Y \text{ is a bijective function}

Chemical equilibrium

N2+3H22NH3N_2 + 3H_2 \leftrightarrow 2NH_3
N_2 + 3H_2 \leftrightarrow 2NH_3