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

Okay, here is the def.:

(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 = (00...0[[1]]1)#n

etc.

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