User blog comment:Googleaarex/Extended Up Arrow Notation/@comment-5029411-20131129224224/@comment-25371339-20141019232031

Of course. This is your notation, is it?