///
void draw(Painter &, int x, int y) const;
///
- void write(MathWriteInfo & os) const;
+ bool needsBraces() const { return false; }
+
+ ///
+ void write(WriteStream & os) const;
///
- void writeNormal(std::ostream &) const;
+ void normalize(NormalStream &) const;
private:
///