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