有限写像の拡張の表記方法

有限写像fに対し、「f'(x) = v」かつ「x≠yならばf'(y) = f(y)」なるf'を「f, x |-> v」のように書くことが(自分の周囲では)多いのですが、数学や圏論に慣れていると|->が気持ち悪い(?)らしい。が、たとえばf \uplus {(x, v)}だと\uplusや括弧の類が重すぎて邪魔。他に良い書き方はあるでしょうか?

P.S. はてな記法TeXの\mapstoを出すと、ただの矢印(→)に見えてしまう。\mapsto。何でだろう…