Definition foo '(x,y) := x + y.
Print foo.
Check forall '(a,b), a /\ b.

Require Import Utf8.
Print foo.
Check forall '(a,b), a /\ b.