User blog comment:P進大好きbot/Proposal to Choose an Official Standard OCF in This Wiki/@comment-34193315-20191220032726/@comment-35470197-20191220034611

Thanks. Although I am not familiar with Madore's OCF, I know that many googologists like it. Then could you tell me a link to the ordinal notation associated to Madore's OCF or its extension? I have never seen it, and hence I am afraid that we do not have a published one yet.

The restriction of the base function in Buchholz is indeed is a demerit in analyses. That is why I wrote that it is good to have an analysis between Buchholz's OCF and Veblen function without using non-normal expressions.