写像の表記でどの要素がどの要素にうつるかは \mapsto でいいと思うのですが
集合と集合を結ぶふつうの「矢印」は \to でいいんでしょうか