///
void write(WriteStream & os) const;
///
- int latex(odocstream & os, OutputParams const & runparams) const;
+ void latex(otexstream & os, OutputParams const & runparams) const;
+ ///
+ void mathmlize(MathStream &) const;
+ ///
+ void htmlize(HtmlStream &) const;
///
Text * getText(int) const;
///