User blog comment:Deedlit11/Ordinal Notations V: Up to a weakly Mahlo cardinal/@comment-30004975-20171217042147/@comment-30004975-20180124232806

The limit of I_n is psi_I(w)(0) and the limit of I_I_... is psi_I(1,0)(0).