///
InsetCode lyxCode() const { return MATH_DOTS_CODE; }
///
- docstring mathmlize(MathStream & os) const;
+ void mathmlize(MathStream & ms) const;
+ ///
+ void htmlize(HtmlStream & os) const;
protected:
/// cache for the thing's height
mutable int dh_;