User blog comment:Alejandro Magno/Make an extension of the Notation! (my style)/@comment-5982810-20140924233634/@comment-5029411-20140925210905

Extension 6:

(0[0,1]1)#n = (0[(0[(...[(0[(0[n]1)]1)]...)]1)]1)#n /w n 0's

(0[1,1]1)#n = (0[0,1]0[0,1]0[0,1]...[0,1]0[0,1]0[0,1]1)#n with n [0,1]-spaces

(0[0,2]1)#n = (0[(0[(...[(0[(0[n,1]1),1]1),1]...),1]1),1]1)#n /w n 0's

(0[0,0,1]1)#n = (0[0,(0[0,(...[0,(0[0,(0[0,n]1)]1)]...)]1)]1)#n /w n 1's

(0[0[1]1]1)#n = (0[0,0,0,...,0,0,1]1)#n /w n entries inside []

(0[0[0,1]1]1)#n = (0[0[(0[0[(...[0[(0[0[(0[0[n]1]1)]1]1)]...1])]1]1)]1)#n /w n 0's

Limit of extension 6 is (0[0[0[...]1]1]1)