+int mathed_font_em(FontInfo const &);
+
+int mathed_font_x_height(FontInfo const & font);
+
+int mathed_mu(FontInfo const & font, double mu);
+
+int mathed_thinmuskip(FontInfo const & font);
+
+int mathed_medmuskip(FontInfo const & font);
+
+int mathed_thickmuskip(FontInfo const & font);
+