From b730b5d8eac2342d1bd24d548632b006b0d792a3 Mon Sep 17 00:00:00 2001 From: the lemons Date: Fri, 18 Feb 2022 02:15:07 -0600 Subject: *: operator --- readme.md | 3 +++ 1 file changed, 3 insertions(+) diff --git a/readme.md b/readme.md index f2d3142..f2697e3 100644 --- a/readme.md +++ b/readme.md @@ -112,6 +112,9 @@ 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` + ### `&_` `y` where `x` is an instance of `y`; *such that* `&_*_x` *is equivalent to* `x` -- cgit v1.2.3