TeX Quellcode:

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