if (is_known(name, known_roman_fonts) || is_known(name, known_sans_fonts)
|| is_known(name, known_typewriter_fonts) || is_known(name, known_math_fonts))
;
-
+ //"On". See the enum Package in BufferParams.h if you thought that "2" should have been "42"
else if (name == "amsmath" || name == "amssymb" || name == "cancel" ||
name == "esint" || name == "mhchem" || name == "mathdots" ||
name == "mathtools" || name == "stackrel" ||
bool is_math_env(std::string const & name);
bool is_display_math_env(std::string const & name);
+/// Is first string in the array of strings (second parameter)
char const * const * is_known(std::string const &, char const * const *);
/*!