TeX source:

n_0\in\mathbb{N}