User blog comment:Alejandro Magno/Extended Arrow Notation/@comment-10429372-20140919073818/@comment-25371339-20140919175952

Oh, and also:

I posted the previous subcomment (reply) of this actual comment.