TeX source:
\exists x(x=x+1)