TeX source:
\longleftrightarrow