User blog comment:Nayuta Ito/generalization of arrow notation/@comment-11227630-20141026002048/@comment-4224897-20141026134932

i agree with vell