int mathed_font_em(FontInfo const &);
+int mathed_thinmuskip(FontInfo font);
+
+int mathed_medmuskip(FontInfo font);
+
+int mathed_thickmuskip(FontInfo font);
+
int mathed_char_width(FontInfo const &, char_type c);
int mathed_char_kerning(FontInfo const &, char_type c);
void math_font_max_dim(FontInfo const &, int & asc, int & desc);
-void augmentFont(FontInfo & f, docstring const & cmd);
+void augmentFont(FontInfo & f, std::string const & cmd);
-bool isFontName(docstring const & name);
+bool isFontName(std::string const & name);
-bool isMathFont(docstring const & name);
+bool isMathFont(std::string const & name);
-bool isTextFont(docstring const & name);
+bool isTextFont(std::string const & name);
bool isAlphaSymbol(MathAtom const & at);