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

My extension of cardinals

18. n,m[0 ] = << ...<<[0]>>,m-1...[0]>>,m-1 [0 ] (n+1 [0]'s)

Extended arrays rules work same.