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