}
-void InsetMathXArrow::mathmlize(MathMLStream & ms) const
+static std::map<string, string> latex_to_html_entities = {
+ {"xleftarrow", "←"},
+ {"xrightarrow", "→"},
+ {"xhookleftarrow", "↩"},
+ {"xhookrightarrow", "↪"},
+ {"xLeftarrow", "⇐"},
+ {"xRightarrow", "⇒"},
+ {"xleftrightarrow", "↔"},
+ {"xLeftrightarrow", "⇔"},
+ {"xleftharpoondown", "↽"},
+ {"xleftharpoonup", "↼"},
+ {"xleftrightharpoons", "⇋"},
+ {"xrightharpoondown", "⇁"},
+ {"xrightharpoonup", "⇀"},
+ {"xrightleftharpoons", "⇌"},
+ {"xmapsto", "↦"},
+};
+
+
+static std::map<string, string> latex_to_xml_entities = {
+ {"xleftarrow", "←"},
+ {"xrightarrow", "→"},
+ {"xhookleftarrow", "↩"},
+ {"xhookrightarrow", "↪"},
+ {"xLeftarrow", "⇐"},
+ {"xRightarrow", "⇒"},
+ {"xleftrightarrow", "↔"},
+ {"xLeftrightarrow", "⇔"},
+ {"xleftharpoondown", "↽"},
+ {"xleftharpoonup", "↼"},
+ {"xleftrightharpoons", "⇋"},
+ {"xrightharpoondown", "⇁"},
+ {"xrightharpoonup", "⇀"},
+ {"xrightleftharpoons", "⇌"},
+ {"xmapsto", "↦"},
+};
+
+
+docstring map_latex_to(docstring latex, bool xml = false)
{
- char const * arrow;
-
- if (!ms.xmlMode()) { // Use HTML entities.
- if (name_ == "xleftarrow")
- arrow = "←";
- else if (name_ == "xrightarrow")
- arrow = "→";
- else if (name_ == "xhookleftarrow")
- arrow = "↩";
- else if (name_ == "xhookrightarrow")
- arrow = "↪";
- else if (name_ == "xLeftarrow")
- arrow = "⇐";
- else if (name_ == "xRightarrow")
- arrow = "⇒";
- else if (name_ == "xleftrightarrow")
- arrow = "↔";
- else if (name_ == "xLeftrightarrow")
- arrow = "⇔";
- else if (name_ == "xleftharpoondown")
- arrow = "↽";
- else if (name_ == "xleftharpoonup")
- arrow = "↼";
- else if (name_ == "xleftrightharpoons")
- arrow = "⇋";
- else if (name_ == "xrightharpoondown")
- arrow = "⇁";
- else if (name_ == "xrightharpoonup")
- arrow = "⇀";
- else if (name_ == "xrightleftharpoons")
- arrow = "⇌";
- else if (name_ == "xmapsto")
- arrow = "↦";
- else {
- lyxerr << "mathmlize conversion for '" << name_ << "' not implemented" << endl;
- LASSERT(false, arrow = "→");
- }
- } else { // Use XML entities.
- if (name_ == "xleftarrow")
- arrow = "←";
- else if (name_ == "xrightarrow")
- arrow = "→";
- else if (name_ == "xhookleftarrow")
- arrow = "↩";
- else if (name_ == "xhookrightarrow")
- arrow = "↪";
- else if (name_ == "xLeftarrow")
- arrow = "⇐";
- else if (name_ == "xRightarrow")
- arrow = "⇒";
- else if (name_ == "xleftrightarrow")
- arrow = "↔";
- else if (name_ == "xLeftrightarrow")
- arrow = "⇔";
- else if (name_ == "xleftharpoondown")
- arrow = "↽";
- else if (name_ == "xleftharpoonup")
- arrow = "↼";
- else if (name_ == "xleftrightharpoons")
- arrow = "⇋";
- else if (name_ == "xrightharpoondown")
- arrow = "⇁";
- else if (name_ == "xrightharpoonup")
- arrow = "⇀";
- else if (name_ == "xrightleftharpoons")
- arrow = "⇌";
- else if (name_ == "xmapsto")
- arrow = "↦";
- else {
- lyxerr << "mathmlize XML conversion for '" << name_ << "' not implemented" << endl;
- LASSERT(false, arrow = "→");
- }
+ auto dict = (xml) ? latex_to_xml_entities : latex_to_html_entities;
+
+ auto mapping = dict.find(to_ascii(latex));
+ if (mapping != dict.end()) {
+ return from_ascii(mapping->second);
+ } else {
+ std::string format = (xml) ? "XML" : "HTML";
+ lyxerr << "mathmlize " << format << " conversion for '" << latex << "' not implemented" << endl;
+ LASSERT(false, return from_ascii(dict["xrightarrow"]));
}
+}
+
+void InsetMathXArrow::mathmlize(MathMLStream & ms) const
+{
+ docstring arrow = map_latex_to(name_, ms.xmlMode());
ms << "<" << from_ascii(ms.namespacedTag("munderover")) << " accent='false' accentunder='false'>"
<< MTagInline("mo") << arrow << ETagInline("mo")
<< cell(1) << cell(0)
void InsetMathXArrow::htmlize(HtmlStream & os) const
{
- char const * arrow;
-
- if (name_ == "xleftarrow")
- arrow = "←";
- else if (name_ == "xrightarrow")
- arrow = "→";
- else if (name_ == "xhookleftarrow")
- arrow = "↩";
- else if (name_ == "xhookrightarrow")
- arrow = "↪";
- else if (name_ == "xLeftarrow")
- arrow = "⇐";
- else if (name_ == "xRightarrow")
- arrow = "⇒";
- else if (name_ == "xleftrightarrow")
- arrow = "↔";
- else if (name_ == "xLeftrightarrow")
- arrow = "⇔";
- else if (name_ == "xleftharpoondown")
- arrow = "↽";
- else if (name_ == "xleftharpoonup")
- arrow = "↼";
- else if (name_ == "xleftrightharpoons")
- arrow = "⇋";
- else if (name_ == "xrightharpoondown")
- arrow = "⇁";
- else if (name_ == "xrightharpoonup")
- arrow = "⇀";
- else if (name_ == "xrightleftharpoons")
- arrow = "⇌";
- else if (name_ == "xmapsto")
- arrow = "↦";
- else {
- lyxerr << "htmlize conversion for '" << name_ << "' not implemented" << endl;
- LASSERT(false, arrow = "→");
- }
+ docstring arrow = map_latex_to(name_);
os << MTag("span", "class='xarrow'")
- << MTag("span", "class='xatop'") << cell(0) << ETag("span")
- << MTag("span", "class='xabottom'") << arrow << ETag("span")
- << ETag("span");
+ << MTag("span", "class='xatop'") << cell(0) << ETag("span")
+ << MTag("span", "class='xabottom'") << arrow << ETag("span")
+ << ETag("span");
}
features.require("amsmath");
else
features.require("mathtools");
+
if (features.runparams().math_flavor == OutputParams::MathAsHTML)
// CSS adapted from eLyXer
features.addCSSSnippet(