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