This is LaTeX code:

[latex]
n\in\mathbb{N}\Rightarrow n+1\in\mathbb{N}
[/latex]