4. MathML preferences

Installing the MathML add-on adds a MathML preferences sheet to the Preferences dialog box (OptionsPreferences). This preferences sheet allows you to specify which fonts are to be used when rendering MathML.

Figure 4. The MathML preferences sheet
The MathML preferences sheet

Notice that, by default, the standard Java™ logical fonts (Serif, SansSerif, Monospaced) are also used to render the MathML elements.

There are situations where you'll want to change the above mapping. For example, on the Mac, the Serif logical font is mapped to the Times physical font and this font is intrinsically too small. In such case, you may use the "Choose font from list" button found at the right of each font field. This button displays a list allowing you to choose any True Type font installed on your system.

Figure 5. Dialog box displayed by the "Choose font from list" button
Dialog box displayed by the "Choose font from list" button

Alternatively, you may use the "Choose font file" button found at the very right of each font field. This button displays the standard file chooser which allows you to specify any .ttf font file, whether this font has been installed or not on your system.

4.1. Bundled math fonts

The MathML add-on is bundled with the following math fonts:

Logical MathML FontBundled Font (found in mathml_addon_install_dir/fonts/)Origin
normalDejaVuSerif.ttfDejaVu
boldDejaVuSerif-Bold.ttf
italicDejaVuSerif-Italic.ttf
bold-italicDejaVuSerif-BoldItalic.ttf
sans-serifDejaVuSans.ttf
bold-sans-serifDejaVuSans-Bold.ttf
sans-serif-italicDejaVuSans-Oblique.ttf
sans-serif-bold-italicDejaVuSans-BoldOblique.ttf
monospaceDejaVuSansMono.ttf
frakturtypographerfraktur.medium.ttfFree fonts from 1001 Fonts
bold-frakturtypographerfraktur.bold.ttf
scripttangerine.regular.ttf
bold-scripttangerine.bold.ttf
double-strucksortefax.medium.ttf

If you want to use the all above bundled fonts, simply click on the "Use bundled fonts" button. If you don't like the bundled fonts and want to restore the default settings, click on the Reset button.

Note that the DejaVu fonts are really good looking but lack some glyphs found in the default fonts. The AMS fonts contain very few glyphs, mainly "a" to "z", "A" to "Z" and "0" to "9".