TeX source:
\lnot \forall xP(x)\to \exists x\lnot P(x)