some utf8 chars are terrible small.

[Mike Kupfer]

Uwe Brauer wrote:

> Could  you do an experiment? Download Aidan's pkg
> 
> http://www.parhasard.net/xemacs/TeX-escape-region.el
> and convert the symbol using the function TeX-escape-region.
> And tell us what you see.

I'm happy to try that, but it'll probably have to wait until the end of
the week due to other commitments.

mike