TeX source:
\exists x(x=y)