void draw(PainterInfo &, int x, int y) const;
///
void write(WriteStream & os) const;
void draw(PainterInfo &, int x, int y) const;
///
void write(WriteStream & os) const;
void validate(LaTeXFeatures & features) const;
///
InsetCode lyxCode() const { return MATH_DECORATION_CODE; }
void validate(LaTeXFeatures & features) const;
///
InsetCode lyxCode() const { return MATH_DECORATION_CODE; }