+ os << bformat(_("Decoration: %1$s"), key_->name);
+}
+
+
+namespace {
+ struct Attributes {
+ Attributes() : over(false) {}
+ Attributes(bool o, string const & t, string const & entity)
+ : over(o), tag(t), entity(entity) {}
+ bool over;
+ string tag;
+ string entity;
+ };
+
+ 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;
+ }
+} // namespace
+
+void InsetMathDecoration::mathmlize(MathStream & ms) 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";
+ std::string decoration = ms.xmlMode() ? cur->second.entity : cur->second.tag;
+ ms << MTag(outag)
+ << MTag("mrow") << cell(0) << ETag("mrow")
+ << "<" << from_ascii(ms.namespacedTag("mo")) << " stretchy=\"true\">"
+ << from_ascii(decoration)
+ << "</" << from_ascii(ms.namespacedTag("mo")) << ">"
+ << ETag(outag);