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

Here a Aarex's Ultimate Array Notation V Idea

[10] = [0]alpha, alpha -> <0>alpha[0]

[n+10] = [n0]alpha, alpha -> alpha[n0]

Limit is a$alpha, alpha -> [alpha0]!