void draw(PainterInfo & pi, int x, int y) const override;
///
- void write(WriteStream & os) const override;
+ void write(TeXMathStream & os) const override;
///
void normalize(NormalStream &) const override;
///
- void mathmlize(MathStream &) const override;
+ void mathmlize(MathMLStream &) const override;
///
void htmlize(HtmlStream &) const override;
///