User blog comment:P進大好きbot/New Googological Ruler/@comment-31580368-20190719031724/@comment-31580368-20190719081025

Yes, now I understand that what is used on the wiki is not a ordinal notation. It is better to give it the following definition: the system of fundamental sequences associated with the normal form of OCF. Even the Veblen function, which is used here for relatively small ordinals, is not ordinal notation. This is also just the normal form of the function. Thanks for clarifying.