This is LaTeX code:
[latex]
( \exists x ) ( x \in \mathbb{Z} )
[/latex]