User blog comment:Vel!/Ordinals and arrow notation/@comment-3427444-20131212014842/@comment-5029411-20131212015412

What? ε(n,m) is equal to phi(1+m,n).

We have extended ε function. ε(a,b...y,z) = phi(z,y...b,a)

And the extension of this: ε(ab @) = ε(a,0,0...0,0 @) (b 0's). We have nested subscripts.

And the extension of this: ...

And the extension of this: ...

And the extension of this: ...

And the extension of this: ...

And the extension of this: ...

etc.