#include <config.h>
+#include "support/lassert.h"
+
#include "InsetMathXArrow.h"
#include "MathData.h"
#include "MathStream.h"
arrow = "⇌";
else if (name_ == "xmapsto")
arrow = "↦";
+ else {
+ lyxerr << "mathmlize conversion for '" << name_ << "' not implemented" << endl;
+ LASSERT(false, arrow = "→");
+ }
ms << "<munderover accent='false' accentunder='false'>"
<< arrow << cell(1) << cell(0)
<< "</munderover>";
arrow = "⇌";
else if (name_ == "xmapsto")
arrow = "↦";
+ else {
+ lyxerr << "htmlize conversion for '" << name_ << "' not implemented" << endl;
+ LASSERT(false, arrow = "→");
+ }
os << MTag("span", "class='xarrow'")
<< MTag("span", "class='xatop'") << cell(0) << ETag("span")
<< MTag("span", "class='xabottom'") << arrow << ETag("span")