+ os << bformat(_("Decoration: %1$s"), key_->name);
+}
+
+
+namespace {
+ struct Attributes {
+ Attributes() : over(false) {}
+ 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);