Fuente TeX:

\lnot (\forall x) \varphi(x) \, eq \, (\exists x) \lnot \varphi(x)