We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 13444d0 commit 55741deCopy full SHA for 55741de
1 file changed
document/core/text/conventions.rst
@@ -42,8 +42,8 @@ In order to distinguish symbols of the textual syntax from symbols of the abstra
42
* ${grammar-case: $(T)*} is a possibly empty sequence of iterations of ${:T}.
43
(This is a shorthand for ${grammar-case: $(T)^n} used where ${:n} is not relevant.)
44
45
-* ${grammar-case: $(T)+} is a possibly empty sequence of iterations of ${:T}.
46
- (This is a shorthand for ${grammar-case: $(T)^n} used where ${:n} is not relevant.)
+* ${grammar-case: $(T)+} is a non-empty sequence of iterations of ${:T}.
+ (This is a shorthand for ${grammar-case: $(T)^n} where ${:n >= 1}.)
47
48
* ${grammar-case: $(T)?} is an optional occurrence of ${:T}.
49
(This is a shorthand for ${grammar-case: $(T)^n} where ${:n<=1}.)
0 commit comments