- (isalpha(char_) || Encodings::isMathAlpha(char_))
+ (isalpha(char_) || Encodings::isMathAlpha(char_))
? "mi" : "mo";
// we don't use MTag and ETag because we do not want the spacing
? "mi" : "mo";
// we don't use MTag and ETag because we do not want the spacing
- ms << "<" << type << ">" << char(char_) << "</" << type << ">";
+ ms << "<" << type << ">" << char_type(char_) << "</" << type << ">";
+void MathStream::cr()
+{
+ os() << '\n';
+ for (int i = 0; i < tab(); ++i)
+ os() << ' ';
+}
+
+
+void MathStream::defer(docstring const & s)
+{
+ deferred_ << s;
+}
+
+
+void MathStream::defer(string const & s)
+{
+ deferred_ << from_utf8(s);
+}
+
+
+docstring MathStream::deferred() const
+{
+ return deferred_.str();
+}
+
+
MathStream & operator<<(MathStream & ms, MathAtom const & at)
{
at->mathmlize(ms);
MathStream & operator<<(MathStream & ms, MathAtom const & at)
{
at->mathmlize(ms);
+MathStream & operator<<(MathStream & ms, char_type c)
+{
+ ms.os() << c;
+ return ms;
+}
+
+
MathStream & operator<<(MathStream & ms, MTag const & t)
{
++ms.tab();
MathStream & operator<<(MathStream & ms, MTag const & t)
{
++ms.tab();
-void MathStream::cr()
-{
- os() << '\n';
- for (int i = 0; i < tab(); ++i)
- os() << ' ';
-}
-
-
-void MathStream::defer(docstring const & s)
-{
- deferred_ << s;
-}
-
-
-void MathStream::defer(string const & s)
-{
- deferred_ << from_utf8(s);
-}
-
-
-docstring MathStream::deferred() const
-{
- return deferred_.str();
-}
-
-
MathStream & operator<<(MathStream & ms, docstring const & s)
{
ms.os() << s;
MathStream & operator<<(MathStream & ms, docstring const & s)
{
ms.os() << s;
///
MathStream & operator<<(MathStream &, char);
///
///
MathStream & operator<<(MathStream &, char);
///
+MathStream & operator<<(MathStream &, char_type);
+///
MathStream & operator<<(MathStream &, MTag const &);
///
MathStream & operator<<(MathStream &, ETag const &);
MathStream & operator<<(MathStream &, MTag const &);
///
MathStream & operator<<(MathStream &, ETag const &);