User blog comment:PsiCubed2/How to make Deedlit's Mahlo-level notation more intuitive/@comment-35470197-20180807000338/@comment-35470197-20180807011721

Your wrote "Now we have a new collapsing function I", and hence \(I\)'s in the lines below seem to be what you defined but not to be \(I\)'s in one of the usual conventions.

Then when I saw "\(I(n) = I_n\)", I guessed that you defined \(I(n)\) as \(I_n\), which would be the usual \(I_n\).

Next, when I saw \(I(M) = I(1,0)\), I guessed that you defined or explained \(I(M)\) by using \(I(1,0)\), which would be a usual \(I(x,y)\) or your original \(I(x,y)\).

Finally, when I saw \(I(M^2) = I(1,0,0)\), I got lost. Is it an equality between your original \(I\)'s? Or the definition/explanation of your original \(I(M^2)\) using a usual \(I(x,y,z)\)?

How do you explicitly define your \(I(\alpha)\) for an abstract ordinal number \(\alpha\)?