From e78ec0a9b0d91bea922e4b301d52b2f68002f268 Mon Sep 17 00:00:00 2001 From: the lemons Date: Fri, 18 Feb 2022 23:02:12 -0600 Subject: forall operator --- readme.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'readme.md') diff --git a/readme.md b/readme.md index fb3c479..6e6930b 100644 --- a/readme.md +++ b/readme.md @@ -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` -- cgit v1.2.3