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

I think psiI(MM)(I(MM))=I(MI(M I(M ...) ) )