User blog comment:Nayuta Ito/generalization of arrow notation/@comment-10429372-20141025122001/@comment-1605058-20150208142250

Yes, of course, thanks for pointing out the mistake.