I should have acknowledged much-appreciated feedback from Phil Clayton and Paul Whittaker on the Unicode mapping.
Phil found that the STIX fonts are useful on Linux. If you don’t already have them install the packages to install are stix-fonts (Fedora) or fonts-stic (Ubuntu). Paul pointed out that there is a bug in the fonts-nanum package on Ubuntu that switches the glyphs for “CURLY LOGICAL OR” and “CURLY LOGICAL AND” that are used for the little wedges for subscripts and superscripts. Paul has reported the bug. In the meantime, pending a fix, tf you don’t need the Korean fonts, then a workaround is to uninstall fonts-nanum. Regards, Rob.
_______________________________________________ Proofpower mailing list [email protected] http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
