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

@Rpakr

Yes.