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

And here we go again... We now have a channel in the Discord dedicated to arguing over the meaning of ordinal hyper-operators. You should join! lol

Personally I think w^^(w+1) = e0^w, then w^^(w+2) = w^(e0^w) = e0^e0^w, and w^^(w2) = e1, this still allows w^^w^w = e(w^w) and w^^^w = z0, but that's just my ideal.

Also:

>w^[w]w = phi(0,w)

So w^[w]w = w^w? ;)

You probably mean phi(w,0)?