+ os << name();
+}
+
+
+char const * MathMLtype(string const & s)
+{
+ if (s == "mathop")
+ return "mo";
+ return "mi";
+}
+
+
+bool MathSymbolInset::match(MathInset * p) const
+{
+ MathSymbolInset const * q = p->asSymbolInset();
+ return q && name() == q->name();