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

There mistake of rule 8, a$[0...0,0,b] = a$[0...0,[0...0,b]_[0...0,b]...[0...0,b]_[0...0,b],b].

Fix it now!