After the experiment, I reverted to the combining unicode. I like the fact that it is simple, text-only, and does not require additional files.
When I replace XITS with STIX in the html code, everything looks nice. I'm not sure what this entails, but would it be possible/desirable to switch from XITS to STIX ? Not only because of the single case that started this thread, but it looks like XITS was partly designed to fix some problems with STIX 1 and for right-to-left writing. Since then, STIX 2 has been released, which apparently fixes said problems (and metamath.org is not concerned with bidirectional writing). See the STIX font project: https://github.com/stipub/stixfonts A comparison of STIX and XITS, dated from before STIX 2, but anticipating it: https://tex.stackexchange.com/questions/227216/stix-versus-xits Benoit -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/bc90fb9a-07cf-43c6-953a-e9bb853f507d%40googlegroups.com.
