TeX source:
\lnot \exists x\,P(x)\Leftrightarrow \forall x\,\lnot P(x)