diff options
author | the lemons <citrons@mondecitronne.com> | 2022-02-18 23:02:12 -0600 |
---|---|---|
committer | the lemons <citrons@mondecitronne.com> | 2022-02-18 23:02:12 -0600 |
commit | e78ec0a9b0d91bea922e4b301d52b2f68002f268 (patch) | |
tree | 5dd5a4098945631db5b49528d250a209a28a38b6 | |
parent | a39d4de49e04e9af8c283331f7fb2bb633c02b36 (diff) |
forall operator
-rw-r--r-- | readme.md | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -152,7 +152,7 @@ the operand to the unary operator is denoted as `x` in these defintions. `*_x` i some specific instance(s) of `x` ### `*:` -all instances of `x` +all instances of `x`; *or, if* `x` *is a lambda:* everything in existence for which the lambda `x` applied to it evaluates to something which exists. ### `&_` `y` where `x` is an instance of `y`; *such that* `&_*_x` *is equivalent to* `x` |