User blog comment:Googleaarex/Extended Up Arrow Numbers/@comment-172.58.104.78-20160516221147/@comment-25601061-20160520191643

The notation is old and ambiguous, without mentioning it has multiple and incomplete versions of it. It becomes ill-defined after Nested Arrows.