TeX source:
n\in\mathbb{N}