User blog comment:P進大好きbot/New Googological Ruler/@comment-39541634-20190722124029/@comment-35470197-20190722221153

By the way, do you know what the "standard" notation in this wiki such that ψ_I(0) actually corresponds to the least omega fixed point is? It is not at least the notation associated to the extended Buchholz's OCF, Rathjen's standard OCF, or Rathjen's simplified OCF introduced in the Realm of Ordinal Analysis. Is it just UNOCF, which is still undefined?