Notation "A /\ B" := (and A B)