TeX source:
\Leftrightarrow\exists l.