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