Re: A few more unicode symbols.

[Jürgen Spitzmüller]

Bo Peng wrote:
> Can we at least make "Some characters of your document... " more
> meaningful?

Yes, would be good.

Jürgen