User blog comment:Nayuta Ito/faketest/e0/@comment-30754445-20180805015451/@comment-30754445-20180806212250

@Rpakr

"I find UNOCF to be more newbie-friendly because in Deedlit's Mahlo OCF he uses χ function which is, in my opinion, hard to understand."

The problem is, Deedlit's χ function (or something equivalent) is required for Mahlos to behave as Mahlos.

At least I think it does.

Note that the trick we used with Ω2 did not completely eliminate the need for the new function ψ1(x). It just meant that we use it a bit differently than in the standard approach.

So I don't see how using a similar trick with M can eliminate χ. If we want to create an intuitive Mahlo-level notation, we'll need to find a friendlier way to encode the χ-function, rather than getting rid of it entirely.