let sym_mk_add () = Arith.add