A bidirectional wavy arrow symbol representing mutual implication, equivalence, or reversible transformations in logic and mathematics.
Examples
Showing logical equivalence or mutual implication
A \leftrightsquigarrow B \text{ means A if and only if B}
Indicating bidirectional transformation or mapping
f: X \leftrightsquigarrow Y \text{ (bijective correspondence)}
Representing reversible process in physics
H_2O(s) \leftrightsquigarrow H_2O(l) \text{ (phase transition)}