}
-docstring InsetMathNumber::mathmlize(MathStream & os) const
+void InsetMathNumber::mathmlize(MathStream & os) const
{
- os << "<mn> " << str_ << " </mn>";
- return docstring();
+ if (os.inText())
+ os << str_;
+ else
+ os << "<mn>" << str_ << "</mn>";
+}
+
+
+void InsetMathNumber::htmlize(HtmlStream & os) const
+{
+ os << str_;
}