This is LaTeX code:

[latex]

n_0 \in {\bf N}

[/latex]