TeX Quellcode:
\Leftrightarrow x=1