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