Fuente TeX:
\forall x. \neg A(x)