Fuente TeX:
\forall \lnot