Jan Wieck <JanWieck@Yahoo.com> writes:
> Can we add digits to the allowed character set of the marker?
We can't allow a digit right after the opening dollar sign; that would
look like a parameter.
I suppose we could allow $identifier$ though. That might be the easiest
compromise.
regards, tom lane