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