forall operator

1 files changed, 1 insertions, 1 deletions

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`