Set Mangle Names.

Infix "&&&" := andb (at level 40, left associativity).
(* Error: Variable _0 occurs more than once. *)

Check (_ &&& _).