}
+docstring InsetMathSpace::mathmlize(MathStream & ms) const
+{
+ SpaceInfo const & si = space_info[space_];
+ if (si.negative || !si.visible)
+ return docstring();
+ string l;
+ if (si.custom)
+ l = length_.asHTMLString();
+ else if (si.kind != InsetSpaceParams::MEDIUM) {
+ stringstream ss;
+ ss << si.width;
+ l = ss.str() + "px";
+ }
+
+ ms << "<mspace";
+ if (!l.empty())
+ ms << " width=\"" << from_ascii(l) << "\"";
+ ms << " />";
+ return docstring();
+}
+
+
void InsetMathSpace::normalize(NormalStream & os) const
{
os << "[space " << int(space_) << "] ";