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

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.