Fuente TeX:
\forall x. A(x)