+void InsetMathDots::mathmlize(MathMLStream & ms) const
+{
+ // which symbols we support is decided by what is listed in
+ // lib/symbols as generating a dots inset
+ docstring const & n = key_->name;
+ std::string ent;
+ if (ms.xmlMode()) {
+ if (n == "dots" || n == "dotsc" || n == "dotso" || n == "ldots")
+ ent = "…";
+ else if (n == "adots" || n == "iddots")
+ ent = "⋰";
+ else if (n == "cdots" || n == "dotsb" || n == "dotsi" || n == "dotsm")
+ ent = "⋯";
+ else if (n == "ddots")
+ ent = "⋱";
+ else if (n == "vdots")
+ ent = "⋮";
+ else LASSERT(false, ent = "…");
+ } else {
+ if (n == "dots" || n == "dotsc" || n == "dotso" || n == "ldots")
+ ent = "…";
+ else if (n == "adots" || n == "iddots")
+ ent = "⋰";
+ else if (n == "cdots" || n == "dotsb" || n == "dotsi" || n == "dotsm")
+ ent = "⋯";
+ else if (n == "ddots")
+ ent = "⋱";
+ else if (n == "vdots")
+ ent = "⋮";
+ else LASSERT(false, ent = "…");
+ }
+ ms << MTag("mi") << from_ascii(ent) << ETag("mi");
+}
+
+
+void InsetMathDots::htmlize(HtmlStream & os) const
+{
+ // which symbols we support is decided by what is listed in
+ // lib/symbols as generating a dots inset
+ docstring const & n = key_->name;
+ std::string ent;
+ if (n == "dots" || n == "dotsc" || n == "dotso" || n == "ldots")
+ ent = "…";
+ else if (n == "adots" || n == "iddots")
+ ent = "⋰";
+ else if (n == "cdots" || n == "dotsb" || n == "dotsi" || n == "dotsm")
+ ent = "⋯";
+ else if (n == "ddots")
+ ent = "⋱";
+ else if (n == "vdots")
+ ent = "⋮";
+ else
+ LASSERT(false, ent = "#x02026;");
+ os << from_ascii(ent);
+}
+