quoting syntaxes

[Tim Whitehead]

The syntax for '" should be changed so it gives the equivalent to {'}'' or
'\thinspace'' in TeX.

I am not on the mailing list.

tw