+ 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";