TeX source:
\exists x \, A(x)