User blog comment:Wythagoras/Dollar function part 1/@comment-5529393-20130613082238

There's a problem though:  your rules only work for [X]_c where c is a positive integer. So we can't actually get [0]_[0] and beyond.