Fuente TeX:
\lnot (\forall x) \equiv (\exists x)