#include "MathStream.h"
#include "MathSupport.h"
+#include "MetricsInfo.h"
+
using namespace std;
void InsetMathNumber::mathmlize(MathStream & os) const
{
- if (os.inText())
- os << str_;
- else
- os << "<mn>" << str_ << "</mn>";
+ os << "<mn>" << str_ << "</mn>";
+}
+
+
+void InsetMathNumber::htmlize(HtmlStream & os) const
+{
+ os << str_;
}