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

Yes, I know that.

Unfortunately, I have absolutely no idea how to notate this first regular fixed point. :-(