}
+void InsetMathBoldSymbol::mathmlize(MathStream & os) const
+{
+ os << "<mstyle mathvariant='bold'>" << cell(0) << "</mstyle>";
+}
+
+
+void InsetMathBoldSymbol::htmlize(HtmlStream & os) const
+{
+ os << MTag("b") << cell(0) << ETag("b");
+}
+
+
void InsetMathBoldSymbol::infoize(odocstream & os) const
{
switch (kind_) {