TeX source:
x \in \mathbb{N}