User blog comment:KthulhuHimself/Ordinal Arithmetic Notation (OAN)/@comment-34422464-20191112192546/@comment-35470197-20191114035511

@GamesFan2000

You are wrong. The ordinal \(\phi(0,a)\) is always equal to \(\omega^a\), and does not necessarily coincide with \(a\) even if \(a\) is a limit ordinal greater than \(\varepsilon_0\).