User blog comment:Simply Beautiful Art/Intuition behind the Mahlo OCF/@comment-35470197-20190829142904/@comment-31663462-20190830001841

If you're seriously so bothered, then I would recommend you ask me on the discord server, where I've posted a full fledged calculator for everything less than \(\Omega_{\text{fp}}\) that not only computes fundamental sequences, but it also provides normal forms and has a comparison algorithm.

And if you really wanted it, I could consider extending it to Mahlos in the near future