TeX source:
f:\mathbb{N}\rightarrow M.