diff options
| author | Marshall Lochbaum <mwlochbaum@gmail.com> | 2021-07-16 08:57:20 -0400 |
|---|---|---|
| committer | Marshall Lochbaum <mwlochbaum@gmail.com> | 2021-07-16 08:57:20 -0400 |
| commit | ef05f1499a8b6509b50376ef12308fd32c3cbcb2 (patch) | |
| tree | 3a9ab0b312ee75906909eeec05573f14d9a70f98 /doc/search.md | |
| parent | 2914519108341ae4f28fc8a633929462a24ff244 (diff) | |
Typo
Diffstat (limited to 'doc/search.md')
| -rw-r--r-- | doc/search.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/search.md b/doc/search.md index 2e85c69d..266bd484 100644 --- a/doc/search.md +++ b/doc/search.md @@ -95,7 +95,7 @@ Progressive Index of (`⊒`), as the name and glyph suggest, is a more sophistic "aaabb" ⊒ "ababababab" -Above we said that `𝕩∊𝕨` is `(𝕨⊐𝕩)<≠𝕨`, so that `⊐˜<≠∘⊢` is an implementation of Member of. The corresponding `⊒˜<≠∘⊢` implements *progressive* member of, that is, membership on [multisets](https://en.wikipedia.org/wiki/Multiset). So if `𝕩` contains two copies of `'a'`, only the first to instances of `'a'` in `𝕨` are considered to belong to it. And like membership is useful for set intersection and difference, progressive membership gives multiset versions of these. +Above we said that `𝕩∊𝕨` is `(𝕨⊐𝕩)<≠𝕨`, so that `⊐˜<≠∘⊢` is an implementation of Member of. The corresponding `⊒˜<≠∘⊢` implements *progressive* member of, that is, membership on [multisets](https://en.wikipedia.org/wiki/Multiset). So if `𝕩` contains two copies of `'a'`, only the first two instances of `'a'` in `𝕨` are considered to belong to it. And like membership is useful for set intersection and difference, progressive membership gives multiset versions of these. "aabbcc" (⊐˜<≠∘⊢) "baa" |