TeX source:
\Leftrightarrow \exists c,l.