///
explicit MathCharInset(char c);
///
- virtual std::auto_ptr<InsetBase> clone() const;
- ///
void metrics(MetricsInfo & mi, Dimension & dim) const;
///
void draw(PainterInfo & pi, int x, int y) const;
void normalize(NormalStream & ns) const;
///
void octave(OctaveStream & os) const;
+ ///
+ void mathmlize(MathMLStream & ms) const;
/// identifies Charinsets
MathCharInset const * asCharInset() const { return this; }
///
bool isRelOp() const;
private:
+ virtual std::auto_ptr<InsetBase> doClone() const;
/// the character
char char_;
/// cached width