///
void draw(PainterInfo & pi, int x, int y) const override;
///
- void write(WriteStream & os) const override;
+ void write(TeXMathStream & os) const override;
+ ///
+ void mathmlize(MathMLStream & ms) const override;
///
void infoize(odocstream & os) const override;
///