some switches to change the default pretty-printer in Term, Formula and Symbol;