User blog comment:Wythagoras/Dollar function formal definition/@comment-7484840-20130616082905

Pretty good. There's still a couple of (pretty minor) issues with the formal definition that just need sorting out. First of all, there's still no terminating rule for the arrows. I know what they're supposed to mean from the previous comparisons, but you just need to add another rule about what -->0 does. Also, in rule 9 it seems a bit strange for both the _ part and the part after the comma to decrease. Did you mean for the innermost _b to be _(b+1) or something similar?