TeX source:
n_{0}\in\mathbb{N}