Re: Add some ligatures to the unicodesymbols file

[Uwe Stöhr]

> makes sense IMHO.

For me too, so I commited your patch to branch and trunk.

thanks and regards
Uwe