diff --git a/README.md b/README.md index 890c6b4a..df1cc53b 100644 --- a/README.md +++ b/README.md @@ -349,7 +349,7 @@ so we don't support features like `Sequence` and `Lift`. Legend: - `∀` - all must satisfy a constraint -- `∃` - at lest one must satisfy a constraint +- `∃` - at least one must satisfy a constraint - `∃!` - exactly one must satisfy a constraint - `∧` - both constraints must be satisfied - `∨` - either constraint must be satisfied