User blog comment:P進大好きbot/Rathjen-type Ordinal Notation/@comment-11227630-20190823085852

So a recursive ordinal notation derived from an OCF looks much more complicated than the OCF.

And, after you wrote this, I realized how relatively simple Taranovsky's ordinal notation is.