#include "math_mathmlstream.h"
#include "math_streamstr.h"
+
+using std::string;
using std::auto_ptr;
}
-bool MathUnknownInset::match(MathAtom const & at) const
-{
- MathUnknownInset const * q = at->asUnknownInset();
- return q && name_ == q->name_;
-}
-
-
void MathUnknownInset::normalize(NormalStream & os) const
{
os << "[unknown " << name_ << ']';