From 132ac914e461c50bacd0d0d9a71eaa752f4a9440 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Tue, 26 Apr 2016 13:46:48 -0400 Subject: [PATCH] Sets: change parsing precedence --- Sets.v | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Sets.v b/Sets.v index b927796..95c8002 100644 --- a/Sets.v +++ b/Sets.v @@ -40,7 +40,7 @@ Notation "{ x1 , .. , xN }" := (constant (cons x1 (.. (cons xN nil) ..))). Notation "[ P ]" := (check P). Infix "\cup" := union (at level 40). Infix "\cap" := intersection (at level 40). -Infix "\setminus" := minus (at level 70). +Infix "\setminus" := minus (at level 40). Infix "\subseteq" := subseteq (at level 70). Infix "\subset" := subset (at level 70). Notation "[ x | P ]" := (scomp (fun x => P)).