Tweaking lib/symbols for XML entities

[Pavel Sanda]

On Wed, May 13, 2020 at 01:44:43AM +0200, Thibaut Cuvelier wrote:
> I am attaching a new version of the patch that does this.

Can we get this line in symbols right? 

#symbol            font   charid   charid-in-fallback-Xsymbol-font

I hope my understanding is correct that with your patch the structure now is:

#symbol            font   charid   charid-in-fallback-Xsymbol-font math-class xHTML XML

Pavel