User blog comment:PsiCubed2/How to make Deedlit's Mahlo-level notation more intuitive/@comment-30869823-20180808201546/@comment-27513631-20180811113230

Fej, as the range of \(I\) consists of only regular cardinals, the fixed points of \(\alpha = I(M^\alpha)\) coincide with the regular ones.