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

I see. I think that the main reason why arguments on Rathjen's ordinal notation is because there are few articles in the main space on (more elementary) examles of ordinal notations associated to OCFs. For example, we even do not have an article on the ordinal notation associated to Veblenhierarchy and the ordinal notation associated to Buchholz's function, which are the most elementary examples. (I note that the definition of the ordinal notation associated to Buchholz's ordinal notation is written in Japanese googology wiki, but we need more detailed explanations on why it works as intended.) I hope that someday we have more helpful articles on them.