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