User blog comment:Wythagoras/Dollar function formal definition/@comment-5529393-20130616091711/@comment-5529393-20130616165813

Okay, that's better. Good job. I still urge you to add rules for evaluating subscripts. Also, you need to define what "lowest level" is, as the level can be an arbitrary notation, apparently.