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

Extension 9:

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

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

etc.

(0[0],[2]1)#n = (0[0][0]...[0][1],[1]1)#n with n entries

etc.

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

etc.

Limit is (0[0],[0],[0],...[0],[0],[1]1)#n