+#include "math_notinset.h"
+#include "math_parser.h"
+#include "support.h"
+#include "support/LOstream.h"
+
+
+using std::ostream;
+
+MathNotInset::MathNotInset()
+{}
+
+
+MathInset * MathNotInset::clone() const
+{
+ return new MathNotInset(*this);
+}
+
+
+void MathNotInset::write(ostream & os, bool /* fragile */) const
+{
+ os << "\\not ";
+}
+
+
+void MathNotInset::writeNormal(ostream & os) const
+{
+ os << "[not] ";
+}
+
+
+void MathNotInset::metrics(MathStyles st) const
+{
+ size(st);
+ mathed_char_dim(LM_TC_VAR, size_, '/', ascent_, descent_, width_);
+ width_ = 1;
+}
+
+
+void MathNotInset::draw(Painter & pain, int x, int y) const
+{
+ xo(x);
+ yo(y);
+
+ drawChar(pain, LM_TC_VAR, size_, x + 4, y, '/');
+}