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/depth.md | |
| parent | 29509cedb9af2715328e44c481738a9ba05cff73 (diff) | |
Change ≍○< to ⋈ throughout diagram-making code
Diffstat (limited to 'doc/depth.md')
| -rw-r--r-- | doc/depth.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/depth.md b/doc/depth.md index d5df81ec..ae15e879 100644 --- a/doc/depth.md +++ b/doc/depth.md @@ -13,7 +13,7 @@ tc ← "text"At"dy=-0.2em|class=Number" bc ← "path"At"class=bluegreen|stroke-width=2|style=fill:none|opacity=0.4" dc ← "text"At"font-size=18px|text-anchor=start|opacity=0.9" -Path ← bc Elt "d"≍○<⊢ +Path ← bc Elt "d"⋈⊢ Brak ← { P ← ∾"M l l "∾¨ ·FmtNum∘⥊ ∾ Path (d×⟨0.6×𝕩-0.75,0.4⟩) (-⌾⊑⊸P ∾ P⟜⌽) -⌾⊑⊸≍5‿13 |