Tweaking lib/symbols for XML entities

[Pavel Sanda]

On Mon, Jun 15, 2020 at 02:46:47PM +0200, Thibaut Cuvelier wrote:
> Here is a new version of the first patch. Indeed, I forgot to completely
> refactor a few font-related things. It should be much better now. (I also

Ok, we are bit closer, I committed update of first patch.

There is still missing id='magicparlabel-XX' part which need to be fixed.
Please check xHTML output of e.g. Math manual to be identical.

Cheers,
Pavel