Thanks André and Mario. I tweaked a bit the html code of http://us2.metamath.org/mpeuni/ccchat.html , changing the fonts. Some font choices give nicer results. My conclusion is that we should use althtmldef "CChat" as "ℂ̂"; because it is simple, semantically correct, and correctly generates a single glyph. I think that the problem is with the font. Something like XITS not supporting unicode combining characters? Maybe I should report it to https://github.com/alif-type/xits ?
I actually prefer to have an ugly symbol with a simple and correct code (that generates "text-only") than go into very intricate hard-to-maintain code in order to have a better looking symbol. 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/fa071ad8-d120-4e9c-95fd-f9787565411b%40googlegroups.com.
