docstring name() const;
/// request "external features"
void validate(LaTeXFeatures & features) const;
+ ///
+ InsetCode lyxCode() const { return MATH_DOTS_CODE; }
+ ///
+ void mathmlize(MathStream & os) const;
+ ///
+ void htmlize(HtmlStream & os) const;
protected:
/// cache for the thing's height
mutable int dh_;