This is LaTeX code:
[latex]
n\in\mathbb{N}\Rightarrow n+1\in\mathbb{N}
[/latex]