User blog comment:Ikosarakt1/Coding strings as ordinals (for Friedman's n(k))/@comment-5029411-20130729191800/@comment-5029411-20130729193043

A2 = w^2

A(A(0)1) = A(w+1) = w^(w+1)

B(B(B(0)17)13) = e(e(e(0)+17)+13)