Sorry, my "fix" was bogus. I checked the results with a TeXmacs-produced PDF, which apparently includes different fonts than what e.g. pdfetex does. The TeXmacs fonts look fine. (I wonder why.)
-- Bad rendering (hinting) in Evince and Xpdf https://launchpad.net/bugs/26118 -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
