+// unfortunately, we do not have many options here, so we have to treat
+// them all the same way.
+void InsetMathCancel::htmlize(HtmlStream & os) const
+{
+ os << MTag("span", "style='text-decoration: line-through;'")
+ << cell(0)
+ << ETag("span");
+}
+
+