On Mon, 1 Jul 2019 13:54:49 -0700 (PDT), Benoit <[email protected]> wrote: > 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.
Me too. I think having simple HTML is a plus. > 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 ? It's possible. As you noted, a new version of STIX has been released, and it might produce "better" results than XITS. I think we ought to try it out on many platforms before committing to such a change. Sometimes fonts work well only on specific platforms, and that wouldn't be good. --- David A. Wheeler -- 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/E1hi4qT-0007eM-4J%40rmmprod07.runbox.
