User blog comment:Antares.I.G.Harrison/Complete Graham Notation/@comment-26084716-20150307082625

I said in the IRC : [n,(1)] = [n,[n,(0)]]

[n,(0)] = [n,n]

[ab] = [a a a ...... a] with b a's

Rule 16 : Ooomps. Type error. Thanks

[a^b,c] is [[a^b],c] You caculate the ^ first, not the ",".