User blog comment:Ynought/G function/@comment-33713741-20190216085109/@comment-35470197-20190216121823

@Ynought

I think that it looks much simpler than your other notations, because it does not refer to other functions in other blog posts.

But if you are interested in simpler notation for \(\varepsilon_0\), I recommend you to learn primitive sequence system. Since the page itself is written in Japanese, please see only the mathematical equality explaining the correspondence to ordinals.