Also worth noting, though the precise history predates my own experience: it's common in grammar theory to use `$` as the end symbol. Was this from REs using `$` as an end symbol as well, or did REs adopt `$` from here, or ...? Chris