User blog comment:Googleaarex/Tetration Numbers/@comment-5029411-20130603163625/@comment-5150073-20130604091221

This is because we need to handle such structures as X^^(X^^(X^^X+1)), and it cannot be expressed using X^^^n. So, we must invent a new notation that allows to do it.