///
void metrics(MetricsInfo & mi, Dimension & dim) const override;
///
- void draw(PainterInfo &, int x, int y) const;
+ void draw(PainterInfo &, int x, int y) const override;
///
void normalize(NormalStream &) const override;
///
- void write(WriteStream & os) const override;
+ void write(TeXMathStream & os) const override;
private:
Inset * clone() const override;