A double-headed arrow symbol showing bidirectional correspondence or mutual implication between mathematical expressions.
Examples
Reversible chemical reaction
H_2 + I_2 \leftrightarrows 2HI
Equilibrium between states
A + B \leftrightarrows C + D
Bidirectional mapping between sets
X \leftrightarrows Y \text{ (bijective correspondence)}