void metrics(MetricsInfo & mi, Dimension & dim) const;
///
void draw(PainterInfo &, int x, int y) const;
+ ///
+ int width() const { return width_; }
+
///
bool isRelOp() const;
/// do we take scripts?
latexkeys const * sym_;
///
mutable int h_;
+ /// cached width
+ mutable int width_;
///
mutable bool scriptable_;
};