TeX source:
\leftrightarrow