///
MathMakeboxInset();
///
- virtual std::auto_ptr<InsetBase> clone() const;
- ///
void metrics(MetricsInfo & mi, Dimension & dim) const;
///
void draw(PainterInfo & pi, int x, int y) const;
///
void infoize(std::ostream & os) const;
private:
+ virtual std::auto_ptr<InsetBase> doClone() const;
/// width of '[' in current font
mutable int w_;
};