///
void octave(OctaveStream & os) const;
///
- docstring mathmlize(MathStream & ms) const;
+ void mathmlize(MathStream & ms) const;
+ ///
+ void htmlize(HtmlStream & ms) const;
/// identifies Charinsets
InsetMathChar const * asCharInset() const { return this; }
///