protected:
void do_print_dflt(const print_dflt & c, unsigned level) const;
void do_print_latex(const print_latex & c, unsigned level) const;
protected:
void do_print_dflt(const print_dflt & c, unsigned level) const;
void do_print_latex(const print_latex & c, unsigned level) const;