Source TeX:
\Leftrightarrow