diff options
| -rw-r--r-- | theories/Init/Notations.v | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/theories/Init/Notations.v b/theories/Init/Notations.v index 7f420dda06..0b7b630e47 100644 --- a/theories/Init/Notations.v +++ b/theories/Init/Notations.v @@ -55,6 +55,8 @@ Uninterpreted Notation "- x" (at level 0) V8only (at level 40). Uninterpreted Notation "/ x" (at level 0) V8only (at level 30, left associativity). +Uninterpreted V8Notation "x ^ y" (at level 20, left associativity). + (** Notations for pairs *) Uninterpreted Notation "( x , y )" (at level 0) |