2007-01-05 有限写像の拡張の表記方法 有限写像fに対し、「f'(x) = v」かつ「x≠yならばf'(y) = f(y)」なるf'を「f, x |-> v」のように書くことが(自分の周囲では)多いのですが、数学や圏論に慣れていると|->が気持ち悪い(?)らしい。が、たとえばf {(x, v)}だとや括弧の類が重すぎて邪魔。他に良い書き方はあるでしょうか?P.S. はてな記法でTeXの\mapstoを出すと、ただの矢印(→)に見えてしまう。。何でだろう…