From 31b722e16e6a0f6b0f08e8409b2c7e240937bfed Mon Sep 17 00:00:00 2001 From: Marshall Lochbaum Date: Wed, 27 Apr 2022 22:21:50 -0400 Subject: Documentation for Under --- docs/doc/search.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'docs/doc/search.html') diff --git a/docs/doc/search.html b/docs/doc/search.html index 28e0081d..2e75dc97 100644 --- a/docs/doc/search.html +++ b/docs/doc/search.html @@ -213,7 +213,7 @@ ↗️
    stuff ⊑∘⊐⟜< "string"
 2
-

If 𝕨 is fixed, then the version I prefer is to use Under to enclose the argument and then un-enclose the result. It requires 𝕨 to be bound to ⊐ because otherwise Under would enclose 𝕨 as well, since it applies 𝔾 to both arguments.

+

If 𝕨 is fixed, then the version I prefer is to use Under to enclose the argument and then un-enclose the result. It requires 𝕨 to be bound to ⊐ because otherwise Under would enclose 𝕨 as well, since it applies 𝔾 to both arguments.

↗️
    stuff⊸⊐⌾< "string"
 2
-- cgit v1.2.3