diff options
| author | Marshall Lochbaum <mwlochbaum@gmail.com> | 2021-11-03 15:57:17 -0400 |
|---|---|---|
| committer | Marshall Lochbaum <mwlochbaum@gmail.com> | 2021-11-03 15:57:17 -0400 |
| commit | feafc455d067b3c6ab4a969db050a13540d4bd8a (patch) | |
| tree | a429c08b8937d2a4bc5cf954ed38ddf666ee412f /doc/fold.md | |
| parent | 29509cedb9af2715328e44c481738a9ba05cff73 (diff) | |
Change ≍○< to ⋈ throughout diagram-making code
Diffstat (limited to 'doc/fold.md')
| -rw-r--r-- | doc/fold.md | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/doc/fold.md b/doc/fold.md index f17a6f62..2cd7fdb7 100644 --- a/doc/fold.md +++ b/doc/fold.md @@ -15,13 +15,13 @@ bg ← "class=bluegreen|stroke-width=3|style=fill:none|opacity=0.7" lg ← "class=lilac|stroke-width=2" Text ← ("text" Attr "dy"‿"0.32em"∾ ·Pos d⊸×)⊸Enc -Path ← "path" Elt "d"≍○<⊢ +Path ← "path" Elt "d"⋈⊢ Line ← "line" Elt (⍉"xy"≍⌜"12")≍˘○⥊ ·FmtNum ·d⊸ע⊢ Brak ← { l ← 6‿15 P ← ∾"M l l "∾¨ ·FmtNum∘⥊ ∾ - Path ∾ (((-⊸≍0.4)+0‿¯1⊏𝕨)((0‿¯1×l)+d×≍)⌜𝕩) P¨ ≍○<⟜⌽ -⌾⊑⊸≍l + Path ∾ (((-⊸≍0.4)+0‿¯1⊏𝕨)((0‿¯1×l)+d×≍)⌜𝕩) P¨ ⋈⟜⌽ -⌾⊑⊸≍l } _pair ← {1(↓𝔽-⊸↓)⊢} @@ -39,7 +39,7 @@ lp ← 0.35 ((lpׯ0.5‿1≍1.2‿¯0.5)+≍)¨_pair sp ⟨sx {⍉(≍˜𝕨)≍(≍⟜-lp)+𝕩≍1⊑ty}○⊑ sy⟩ ⟩ - "text-anchor=end" Ge (¯1.1≍¨ty) Text¨ ≍○<⟜(ft∾(Highlight"´")∾⊢) "𝕩" + "text-anchor=end" Ge (¯1.1≍¨ty) Text¨ ⋈⟜(ft∾(Highlight"´")∾⊢) "𝕩" (tp∾<(⊑sx)≍1⊑ty) Text¨ xt∾⊏zt sp Text¨ (¯1↓xt) ∾⟜ft⊸∾¨ 1↓zt bg Ge tx Brak ⊑ty |