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

Clearer definition (just added line spacing):

(0[0][1][1]1)#n = (000 ... 011)#n

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

[0][1][1]1)#n

etc.

(0[0][[1]][1]1)#n = ([0][0]...[0][1]1)#n

(0[0][[[1]]][1]1)#n = ([[0]][[0]]...[[0]][[1]]1)#n

etc.

Sorry if this notation is ill-defined, but if it isn't, the limit is (...[[1...]][1]1)#n