///
void write(Buffer const &, std::ostream &) const;
///
void read(Buffer const &, Lexer &);
///
int latex(Buffer const &, odocstream &,
///
void write(Buffer const &, std::ostream &) const;
///
void read(Buffer const &, Lexer &);
///
int latex(Buffer const &, odocstream &,