User blog comment:Alejandro Magno/Make an extension of the Notation! (my style)/@comment-25371339-20140924220915

Extension 1:

(0)#n = n#n

(0)0#n = (0)#n

(0)1#n = (0)1#((0)1#((0)1#(...((0)1#((0)1#((0)1#n)))...))) with n levels

(0)(0)#n = (0)n#n

(1)#n = (0)(0)(0)...(0)(0)(0)#n with n (0)'s

(1)(1)#n = (1)(0)(0)(0)...(0)(0)(0)#n with n (0)'s

(2)#n = (1)1#((1)1#((1)1#(...((1)1#((1)1#((1)1#n)))...))) with n levels

(m)#n = (m-1)m-1#((m-1)m-1#((m-1)m-1#(...((m-1)m-1#((m-1)m-1#((m-1)m-1#n)))...))) with n levels