Re: A few more unicode symbols.

[Bo Peng]

> The first patch implements the ideas above (without ranges) and
> works perfectly. You can even mark as greek the chars and get the
> same behaviour as before.

I just tested this patch and it works as expected.

Bo