This is LaTeX code:
[latex]
( \forall x \in \mathbb{Z})(p_{\mathbb{Z}}(x)\subseteq 2\mahbb{}Z \Rightarrow x\in 2\mathbb{Z})
[/latex]