aboutsummaryrefslogtreecommitdiff
path: root/doc/search.md
diff options
context:
space:
mode:
authorMarshall Lochbaum <mwlochbaum@gmail.com>2022-04-27 22:21:50 -0400
committerMarshall Lochbaum <mwlochbaum@gmail.com>2022-04-27 22:21:50 -0400
commit31b722e16e6a0f6b0f08e8409b2c7e240937bfed (patch)
tree409d3fde73f45aace8ce1c224dd7f5514f1ff4d0 /doc/search.md
parent3b44787d5b7508a5abd868c7891046576e0eab02 (diff)
Documentation for Under
Diffstat (limited to 'doc/search.md')
-rw-r--r--doc/search.md2
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/search.md b/doc/search.md
index 7c0aa7dd..af2c9e7e 100644
--- a/doc/search.md
+++ b/doc/search.md
@@ -135,7 +135,7 @@ Just as bad, this result has the right information, but is enclosed and could br
stuff βŠ‘βˆ˜βŠβŸœ< "string"
-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](under.md) 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"