+void InsetMathXArrow::mathmlize(MathStream & ms) const
+{
+ char const * const arrow = name_ == "xleftarrow"
+ ? "←" : "→";
+ ms << "<munderover accent='false' accentunder='false'>"
+ << arrow << cell(1) << cell(0)
+ << "</munderover>";
+}
+
+
+void InsetMathXArrow::htmlize(HtmlStream & os) const
+{
+ char const * const arrow = name_ == "xleftarrow"
+ ? "←" : "→";
+ os << MTag("span", "class='xarrow'")
+ << MTag("span", "class='xatop'") << cell(0) << ETag("span")
+ << MTag("span", "class='xabottom'") << arrow << ETag("span")
+ << ETag("span");
+}
+
+