Frederik <[email protected]> wrote: > I tested Deja Vu Sans Mono, which is a free font, and realized that > now some more symbols display correctly; still some remain boxes or > don't show up altogether.
Try Liberation Mono[1] or Terminus[2]. I've used both and they both produce the desired characters (some Greek and many setwise and binary operators). Joel Footnotes: [1] http://en.wikipedia.org/wiki/Liberation_fonts [2] http://www.is-vn.bg/hamster/ -- Joel J. Adamson Servedio Lab University of North Carolina at Chapel Hill FSF Member #8164 http://www.unc.edu/~adamsonj
pgpYyP0byTgat.pgp
Description: PGP signature
_______________________________________________ auctex mailing list [email protected] http://lists.gnu.org/mailman/listinfo/auctex
