Source TeX:
\leftrightarrow