This is LaTeX code:
[latex]
p : \mathbb{N} \rightarrow \mathbb{N}
[/latex]