+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");
+}
+
+