User blog comment:P進大好きbot/What is the greatest ordinal notation now?/@comment-31966679-20180623154722/@comment-35470197-20180624003345

> When you looked at my notation, I think you viewed it differently.

Ah, I am very sorry for it. I actually viewed it differently. So what is the definition of \(a_0(0) = a(0) = lvl(0,0,0)\)? It seems that you just defined \(lvl(x,y,z)\) for \(x > 0\).