>>952
いいと思います。
個人的な好みは \longmapsto と \longrightarrow ですが。