Re: A few more unicode symbols.

[Uwe Stöhr]

A user might paste his favourite greek quote from a webpage. That
works in the GUI, too bad if they then get a latex compile error.

As I said, then he mark it as Greek in the GUI and get a perfect output.

Uwe