+ os << "<!-- " << from_utf8(insetName(lyxCode())) << " -->";
+ os << MTag("mi");
+ NormalStream ns(os.os());
+ normalize(ns);
+ os << ETag("mi");
+}
+
+
+void InsetMath::htmlize(HtmlStream & os) const
+{
+ os << "<!-- " << from_utf8(insetName(lyxCode())) << " -->";
+ os << MTag("span", "style='color: red;'");