User blog comment:Googleaarex/Extended Up Arrow Notation/@comment-10429372-20131201065733/@comment-5029411-20131202214837

Correct!