From 63d2d782e33682f0b2dc0dac5e3e1430f1227aaf Mon Sep 17 00:00:00 2001 From: the lemons Date: Fri, 18 Feb 2022 02:13:00 -0600 Subject: correct definition of &_ --- readme.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'readme.md') diff --git a/readme.md b/readme.md index e081635..f2d3142 100644 --- a/readme.md +++ b/readme.md @@ -113,7 +113,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 `y` where `x` is an instance of `y`; *such that* `&_*_x` *is equivalent to* `x` +`y` where `x` is an instance of `y`; *such that* `&_*_x` *is equivalent to* `x` ### `!` nothing that is `x` or `*_x` -- cgit v1.2.3