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

iirc, I(MM) is the minimum solution to a = I(Ma), so the suggestive notation I(MM) = I(MI(M I(M ...) ) ) is correct, when interpreted liberally.