Fuente TeX:
\lnot (\forall x) \varphi