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

> An OCF can never be an ordinal notation

I have been doing this for over a year now and this part was written before I read your articles. I plan to correct these moments and of course, leave links to the original functions and systems of ordinal notations. But since in the analysis I use the functions modified by users of Wikia, I cite the translation of their definitions, along with the translation of the definition of the functional sequences.