From feafc455d067b3c6ab4a969db050a13540d4bd8a Mon Sep 17 00:00:00 2001 From: Marshall Lochbaum Date: Wed, 3 Nov 2021 15:57:17 -0400 Subject: =?UTF-8?q?Change=20=E2=89=8D=E2=97=8B<=20to=20=E2=8B=88=20through?= =?UTF-8?q?out=20diagram-making=20code?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- doc/take.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'doc/take.md') diff --git a/doc/take.md b/doc/take.md index d90f4055..0244051e 100644 --- a/doc/take.md +++ b/doc/take.md @@ -20,7 +20,7 @@ Line ← "line" Elt ("xy"≍⌜"12")≍˘○⥊ ·FmtNum d×⊢ _brak ← { P ← ∾"M l l "∾¨ ·FmtNum∘⥊ ∾ - "path" Elt "d"≍○< ∾ (𝕨((0‿¯1×𝕗)+d×≍)⌜𝕩) P¨ ≍○<⟜⌽ -⌾⊑⊸≍𝕗 + "path" Elt "d"⋈ ∾ (𝕨((0‿¯1×𝕗)+d×≍)⌜𝕩) P¨ ⋈⟜⌽ -⌾⊑⊸≍𝕗 } ab ← ¯25‿12 -- cgit v1.2.3