TeX source:

n_0 \in \mathbb{N}