"ln", "oztex", "textures", "none", ""};
-char const * tex_fonts[] = {"default", "times", "palatino", "helvet", "avant",
- "newcent", "bookman", ""};
+char const * tex_fonts[] = {"default", "pslatex", "times", "palatino",
+ "helvet", "avant", "newcent", "bookman", ""};