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