- 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 = "…");
- os << MTag("mi") << from_ascii(ent) << ETag("mi");
+ 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");