User blog comment:Wythagoras/Dollars function/@comment-7484840-20130707084446

There still needs to be rules about defaults: for example does [x]_0 or [x]_1 = [x]? As with the arrows and all the other stuff.