diff options
| -rw-r--r-- | mathcomp/ssreflect/ssrbool.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/mathcomp/ssreflect/ssrbool.v b/mathcomp/ssreflect/ssrbool.v index 0bcfda2..ae634ba 100644 --- a/mathcomp/ssreflect/ssrbool.v +++ b/mathcomp/ssreflect/ssrbool.v @@ -290,7 +290,7 @@ Reserved Notation "p1 =i p2" (* [type var separator expr] *) (* where "type" is the type of the comprehension (e.g., pred) and "separator" *) (* is | or => . It is important that in other notations a leading square *) -(* bracket [ is always by an operator symbol or a fixed identifier. *) +(* bracket [ is always followed by an operator symbol or a fixed identifier. *) Reserved Notation "[ /\ P1 & P2 ]" (at level 0, only parsing). Reserved Notation "[ /\ P1 , P2 & P3 ]" (at level 0, format |