diff options
| -rw-r--r-- | theories/Init/Notations.v | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/theories/Init/Notations.v b/theories/Init/Notations.v index ffbf83d808..9a0406d591 100644 --- a/theories/Init/Notations.v +++ b/theories/Init/Notations.v @@ -19,13 +19,13 @@ Reserved Notation "~ x" (at level 75, right associativity). (** Notations for equality and inequalities *) -Reserved Notation "x = y :> T" +Reserved Notation "x = y :> T" (at level 70, y at next level, no associativity). Reserved Notation "x = y" (at level 70, no associativity). Reserved Notation "x = y = z" (at level 70, no associativity, y at next level). -Reserved Notation "x <> y :> T" +Reserved Notation "x <> y :> T" (at level 70, y at next level, no associativity). Reserved Notation "x <> y" (at level 70, no associativity). |