User blog comment:Wythagoras/Arrow notations/@comment-5029411-20140102181918

I discovered new arrow notation!