+ NormalStream ns(os.os());
+ normalize(ns);
+}
+
+
+int MathInset::ascii(std::ostream &, int) const
+{
+ return 0;
+}
+
+
+int MathInset::linuxdoc(std::ostream &) const
+{
+ return 0;
+}
+
+
+int MathInset::docbook(std::ostream &, bool) const
+{
+ return 0;
+}
+
+
+string const & MathInset::getType() const
+{
+ static string const t("none");
+ return t;
+}
+
+
+string MathInset::name() const
+{
+ return "unknown";
+}
+
+
+ostream & operator<<(ostream & os, MathAtom const & at)
+{
+ WriteStream wi(os, false, false);
+ at->write(wi);
+ return os;
+}
+
+
+string MathInset::fileInsetLabel() const
+{
+ return "Formula";