Source TeX:

-3 \in  \mathbb{Z}