From e9fd7e6f6bc6d67fe16ea49b738481e0d4c61fac Mon Sep 17 00:00:00 2001 From: "Paul A. Patience" Date: Fri, 13 May 2022 22:06:04 -0400 Subject: Fix typos and an awkward formulation --- docs/doc/pair.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'docs/doc/pair.html') diff --git a/docs/doc/pair.html b/docs/doc/pair.html index 12165060..a3a3a33e 100644 --- a/docs/doc/pair.html +++ b/docs/doc/pair.html @@ -62,4 +62,4 @@ ↗️
    4 ↑ "a"‿5 ⋈ "b"‿7
 ⟨ ⟨ "a" 5 ⟩ ⟨ "b" 7 ⟩ ⟨ " " 0 ⟩ ⟨ " " 0 ⟩ ⟩
-

This means that ⋈ may always behave the same as the obvious implementation {⟨𝕩⟩;⟨𝕨,𝕩⟩}. However, ≍○< and even >∘{⟨𝕩⟩;⟨𝕨,𝕩⟩}○< compute the result fill as ⋈ does and are identical implementations.

+

This means that ⋈ may not always behave the same as the obvious implementation {⟨𝕩⟩;⟨𝕨,𝕩⟩}. However, ≍○< and even >∘{⟨𝕩⟩;⟨𝕨,𝕩⟩}○< compute the result fill as ⋈ does and are identical implementations.

-- cgit v1.2.3