User blog comment:Rgetar/Regular and singular ordinals/@comment-25601061-20180425011556/@comment-32213734-20180425020439

I'm working on it, here are some preliminary notation:

if X < I then φ01(M + X) = ΩX

φ01(M + I) = ΩΩ Ω Ω ...

Limit of countable ordinals for designations without I is φφ(M + I)(0).