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
> removed a method declaration that belongs to another DocBook commit down
> the line, and I reworked spaces at a few places to reduce the patch size.)

The first patch should be one already, second one was just committed.
In the third I see the following changes in the export of Math Manual:

- <mrow><mo>sqint</mo>
+ <mrow><mo>⨖</mo>

- <mrow><mi>varGamma</mi>
+ <mrow><mi>&#x1D6E4;</mi>


I looked more deeply in the symbols and clearly many symbols will be 
print out via unicode now.
The question is how widespread are fonts for supporting it.

My (outdated) setup does not have those fonts but I would like to ask
other devs about win/mac/mainstream lin distros situation.

If you go to
https://en.wikipedia.org/wiki/Mathematical_Alphanumeric_Symbols
and check for the U+1D6Ex line do you see some meaningful symbols
like \varGamma in your browsers?

Pavel