User blog comment:P進大好きbot/Elementary Large Number beyond ψ 0(Ω ω)/@comment-34422464-20190101164534/@comment-35470197-20190101224154

The technique is the same as the previous one in my another large function which I refered. I guess that you will notice the reason if you understand the previous one, because the new system corresponds to Buchholz's ordinal notation system while the previous one corresponds to Wainer hierarchy. If you will not grasp the reason even though you understand the previous one, then I will add an explanation.

For the substraction and the division, yeah, I could do it but did not do because it increases the saladness. Say, the same reduction also works for the power, the multiplication, and even the addition, but after the reduction, the definition becomes much longer. So this is kind of a matter of extent. Anyway thank you for the advice.