Source TeX:

4 \in  \mathbb{N}