InsetMathBrace * asBraceInset() { return this; }
/// identifies brace insets
InsetMathBrace const * asBraceInset() const { return this; }
- /// we write extra braces in any case...
- bool extraBraces() const { return true; }
///
void metrics(MetricsInfo & mi, Dimension & dim) const;
///
///
void octave(OctaveStream &) const;
///
- docstring mathmlize(MathStream &) const;
+ void mathmlize(MathStream &) const;
+ ///
+ void htmlize(HtmlStream &) const;
///
void infoize(odocstream & os) const;
///