Fuente TeX:
\lnot (\forall x)