void infoize(odocstream & os) const;
///
InsetCode lyxCode() const { return MATH_CANCEL_CODE; }
- /// Nothing for now
- void mathmlize(MathStream &) const {}
+ ///
+ void mathmlize(MathStream &) const;
/// Nothing for HTML
void htmlize(HtmlStream &) const {}
///