В Mathematica сходная нотация, и неприсутствующие на клаве символы есть, но там просто запоминающиеся ASCIIшные коды, так что пишешь Esc fn Esc, получаешь ↦ , и все гладко.
Там в коде дофига и ↦ , и ↦ , и по крайней мере одного символа, которого я и в Юникоде-то найти не могу (стрелка-из-двоеточия).