+}
+
+
+void InsetMathBig::htmlize(HtmlStream & os) const
+{
+ std::string name;
+ switch (size()) {
+ case 0: case 1: name = "big"; break;
+ case 2: case 3: name = "bigg"; break;
+ case 4: case 5: name = "biggg"; break;
+ default: name = "big"; break;
+ }
+ os << MTag("span", "class='" + name + "symbol'");
+ if (delim_ == "(" || delim_ == ")"
+ || delim_ == "[" || delim_ == "]"
+ || delim_ == "|" || delim_ == "/")
+ os << delim_;
+ else if (delim_ == "\\{" || delim_ == "\\lbrace")
+ os << "{";
+ else if (delim_ == "\\}" || delim_ == "\\rbrace")
+ os << "}";
+ else if (delim_ == "\\slash")
+ os << "/";
+ else if (delim_ == "\\|" || delim_ == "\\vert")
+ os << "|";
+ else if (delim_ == "\\Vert")
+ os << "∥";
+ else if (delim_ == "\\\\" || delim_ == "\\backslash")
+ os <<" \\";
+ else if (delim_ == "\\langle")
+ os << "<";
+ else if (delim_ == "\\rangle")
+ os << ">";
+ else if (delim_ == "\\lceil")
+ os << "⌈";
+ else if (delim_ == "\\rceil")
+ os << "⌉";
+ else if (delim_ == "\\lfloor")
+ os << "⌊";
+ else if (delim_ == "\\rfloor")
+ os << "⌋";
+ else if (delim_ == "\\downarrow")
+ os << "↓";
+ else if (delim_ == "\\uparrow")
+ os << "↑";
+ else if (delim_ == "\\Downarrow")
+ os << "⇓";
+ else if (delim_ == "\\Uparrow")
+ os << "⇑";
+ else if (delim_ == "\\updownarrow")
+ os << "↕";
+ else if (delim_ == "\\Updownarrow")
+ os << "⇕";
+ os << ETag("span");