TeX source:
\Leftrightarrow a =