aboutsummaryrefslogtreecommitdiff
path: root/doc/take.md
diff options
context:
space:
mode:
Diffstat (limited to 'doc/take.md')
-rw-r--r--doc/take.md2
1 files changed, 1 insertions, 1 deletions
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