aboutsummaryrefslogtreecommitdiff
path: root/readme.md
diff options
context:
space:
mode:
Diffstat (limited to 'readme.md')
-rw-r--r--readme.md3
1 files changed, 3 insertions, 0 deletions
diff --git a/readme.md b/readme.md
index 6374454..75fb009 100644
--- a/readme.md
+++ b/readme.md
@@ -140,6 +140,9 @@ the truth value of the statetment "there exists `x`"
### `#`
the amount of `x` which exist; *or, if* `x` *is a list*: the amount of items in list `x`
+### `&,`
+all of the elements of list `x`
+
## clarification: the meaning of `*_x`
the difference between `*_x` and `x` can be thought of like this: if `x` is "dog"/"dogs", then `*_x` is "some dogs" or "a dog". the difference becomes quite relevant when one performs definitions.