User blog comment:Wythagoras/Dollar function: final version/@comment-5029411-20131209214259

Array-Type Notation:

a$[[b] ] = a$[[a(...a(a)a...)a] ] (b nested)

a$[[<1>b] ] = a$[[b] ]

All extensions of this notation right here.