+std::ostream & operator<<(std::ostream & os, MathAtom const & at)
+{
+ odocstringstream oss;
+ WriteStream wi(oss, false, false);
+ at->write(wi);
+ return os << to_utf8(oss.str());
+}
+
+
+odocstream & operator<<(odocstream & os, MathAtom const & at)