+void MathSymbolInset::write(WriteStream & os) const
+{
+ os << '\\' << name() << ' ';
+}
+
+
+void MathSymbolInset::infoize(std::ostream & os) const
+{
+ os << '\\' << name();
+}
+
+
+void MathSymbolInset::validate(LaTeXFeatures & features) const
+{
+ // if (...)
+ // features.require("amssymb");
+}