Fuente TeX:
\forall x\,A(x)\rightarrow "\exists x\,A(x)"