let sym_mk_mult () = Pp.mult