+namespace {
+ struct Attributes {
+ Attributes() {}
+ Attributes(bool o, string t)
+ : over(o), tag(t) {}
+ bool over;
+ string tag;
+ };
+
+ typedef map<string, Attributes> TranslationMap;
+
+ void buildTranslationMap(TranslationMap & t) {
+ // the decorations we need to support are listed in lib/symbols
+ t["acute"] = Attributes(true, "´");
+ t["bar"] = Attributes(true, "‾");
+ t["breve"] = Attributes(true, "˘");
+ t["check"] = Attributes(true, "ˇ");
+ t["ddddot"] = Attributes(true, "⃜");
+ t["dddot"] = Attributes(true, "⃛");
+ t["ddot"] = Attributes(true, "¨");
+ t["dot"] = Attributes(true, "˙");
+ t["grave"] = Attributes(true, "`");
+ t["hat"] = Attributes(true, "ˆ");
+ t["mathring"] = Attributes(true, "˚");
+ t["overbrace"] = Attributes(true, "⏞");
+ t["overleftarrow"] = Attributes(true, "⟵");
+ t["overleftrightarrow"] = Attributes(true, "⟷");
+ t["overline"] = Attributes(true, "¯");
+ t["overrightarrow"] = Attributes(true, "⟶");
+ t["tilde"] = Attributes(true, "˜");
+ t["underbar"] = Attributes(false, "_");
+ t["underbrace"] = Attributes(false, "⏟");
+ t["underleftarrow"] = Attributes(false, "⟵");
+ t["underleftrightarrow"] = Attributes(false, "⟷");
+ // this is the macron, again, but it works
+ t["underline"] = Attributes(false, "¯");
+ t["underrightarrow"] = Attributes(false, "⟶");
+ t["undertilde"] = Attributes(false, "∼");
+ t["utilde"] = Attributes(false, "∼");
+ t["vec"] = Attributes(true, "→");
+ t["widehat"] = Attributes(true, "^");
+ t["widetilde"] = Attributes(true, "∼");
+ }
+
+ TranslationMap const & translationMap() {
+ static TranslationMap t;
+ if (t.empty())
+ buildTranslationMap(t);
+ return t;
+ }
+}
+
+void InsetMathDecoration::mathmlize(MathStream & os) const
+{
+ TranslationMap const & t = translationMap();
+ TranslationMap::const_iterator cur = t.find(to_utf8(key_->name));
+ LASSERT(cur != t.end(), return);
+ char const * const outag = cur->second.over ? "mover" : "munder";
+ os << MTag(outag)
+ << MTag("mrow") << cell(0) << ETag("mrow")
+ << from_ascii("<mo stretchy=\"true\">" + cur->second.tag + "</mo>")
+ << ETag(outag);
+}
+
+
+void InsetMathDecoration::htmlize(HtmlStream & os) const
+{
+ string const name = to_utf8(key_->name);
+ if (name == "bar") {
+ os << MTag("span", "class='overbar'") << cell(0) << ETag("span");
+ return;
+ }
+
+ if (name == "underbar" || name == "underline") {
+ os << MTag("span", "class='underbar'") << cell(0) << ETag("span");
+ return;
+ }
+
+ TranslationMap const & t = translationMap();
+ TranslationMap::const_iterator cur = t.find(name);
+ LASSERT(cur != t.end(), return);
+
+ bool symontop = cur->second.over;
+ string const symclass = symontop ? "symontop" : "symonbot";
+ os << MTag("span", "class='symbolpair " + symclass + "'")
+ << '\n';
+
+ if (symontop)
+ os << MTag("span", "class='symbol'") << from_ascii(cur->second.tag);
+ else
+ os << MTag("span", "class='base'") << cell(0);
+ os << ETag("span") << '\n';
+ if (symontop)
+ os << MTag("span", "class='base'") << cell(0);
+ else
+ os << MTag("span", "class='symbol'") << from_ascii(cur->second.tag);
+ os << ETag("span") << '\n' << ETag("span") << '\n';
+}
+
+
+// ideas borrowed from the eLyXer code