void infoize(odocstream & os) const;
///
void normalize(NormalStream &) const;
+ // Don't need mathmlize or htmlize, as this is handled by
+ // InsetMathMatrix after being extracted in MathExtern.
+ // void mathmlize(MathStream &) const;
+ // void htmlize(HTMLStream &) const;
///
void validate(LaTeXFeatures & features) const;
///
char const * name_left() const;
///
char const * name_right() const;
+ ///
+ int leftMargin() const { return 6; } //override
+ ///
+ int rightMargin() const { return 8; } //override
+
private:
virtual Inset * clone() const;
///