TeXipedia
Find LaTeX symbols fast

A bidirectional wavy arrow symbol representing mutual implication, equivalence, or reversible transformations in logic and mathematics.

\leftrightsquigarrow image

Examples

Showing logical equivalence or mutual implication

AB means A if and only if BA \leftrightsquigarrow B \text{ means A if and only if B}
A \leftrightsquigarrow B \text{ means A if and only if B}

Indicating bidirectional transformation or mapping

f:XY (bijective correspondence)f: X \leftrightsquigarrow Y \text{ (bijective correspondence)}
f: X \leftrightsquigarrow Y \text{ (bijective correspondence)}

Representing reversible process in physics

H2O(s)H2O(l) (phase transition)H_2O(s) \leftrightsquigarrow H_2O(l) \text{ (phase transition)}
H_2O(s) \leftrightsquigarrow H_2O(l) \text{ (phase transition)}
  1. 👋 Welcome to TeXipedia!
    TeXipedia is a fast, free symbol search engine for LaTeX, including descriptions and examples.Learn more