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

Your last line isn't entirely wrong, instead of the first fixed point of \( \alpha=I(M^\alpha \) you need the first regular fixed point.