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

See, this is precisely a situation where the heavy stuff just might be important.

Had we all agreed that Deedlit's notation worked as intended, it wouldn't be needed.

But you say you're having doubts. So obviously, for this discussion, we can no longer just assume that everything in Deedlit's notation works.

Can you elaborate a bit more about the problems?

(and I remind you again Mathjax doesn't always work in the comments)