Source TeX:

4 \in\mathbb{Z}