Tweaking lib/symbols for XML entities

[Pavel Sanda]

On Thu, Jun 18, 2020 at 11:35:39PM +0200, Thibaut Cuvelier wrote:
> indicating that no real translation was available. I highly suspect that
> \varGamma was displayed as "varGamma", i.e. as text, instead of the right
> symbol. As far as I know, there is no HTML entity for rare symbols like
> \varGamma.

Yep, that's the case. With your patch it gets unicode instead of 'varGamma'
and it actually seem to work on less antiquated systems than I have :)

Pavel