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

Let previous extension be 9a.

Here is 9b:

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

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

etc.

(0[0]01[1]1)#n = (0[0]0[0][[0[0][[...[0][[0[0][[0[0][[1[1]1]][1]1]][1]...]][1]1]][1]1]][1]1)#n with n levels

etc.

Limit is (0[0]000...0][[01[1]1)#n