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