TeX Quellcode:

\exists{x(...)}\Leftrightarrow\neg\forall\neg{(...)}