User blog comment:Wythagoras/Dollar Function: new version/@comment-25418284-20131023195019/@comment-1605058-20131023205623

Wythagoras tries to make rules formal, and he is doing so pretty well. Slight problem is that, in e.g. rule 3., nothing says if bullets denote same thing or not neccessarily. Also, formal definitions should avoid ellipses, but they are kind of neccessary here.

Side note: in some rules there appears a$, in some not. I think you should at least make a note that a$ is somewhere, even if it isn't present in a rule.