User blog comment:Wythagoras/Dollar function formal definition/@comment-5029411-20130626184610

Here a Ultimate Array Notation IV idea!

We define <# 0> = alpha -> <#>, [0](&_<0...0,c+1>)1 = alpha -> [0](&_<0...alpha,c>)1, where c can just array.

Next is <0->b> = <0,0...0,0,1->b-1> (a 0's) and a$[0](&_<0>&b+1)1 = a$[0](&_<0->_{alpha}1>)1, alpha -> [0](&_<0->_{alpha}1>)b-1.

Limit is a$[0](&_alpha)1, alpha -> <0>(&_alpha)1!!!!