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/selfcmp.md | |
| parent | 29509cedb9af2715328e44c481738a9ba05cff73 (diff) | |
Change ≍○< to ⋈ throughout diagram-making code
Diffstat (limited to 'doc/selfcmp.md')
| -rw-r--r-- | doc/selfcmp.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/selfcmp.md b/doc/selfcmp.md index e4330dd9..967f7974 100644 --- a/doc/selfcmp.md +++ b/doc/selfcmp.md @@ -16,7 +16,7 @@ xl ← ≠ xc ← ⊐ xt ← '''(Highlight∾∾⊣)¨"mississippi" xn ← ≠ xu ← xt /˜ xf ← 0= xo ← ⊒ xt Text ← ("text" Attr "dy"‿"0.32em"∾(Pos d⊸×))⊸Enc -Path ← "path" Elt "d"≍○<·∾⊣∾¨·FmtNums(d⊏˜∊⟜" Vv")⊸× +Path ← "path" Elt "d"⋈·∾⊣∾¨·FmtNums(d⊏˜∊⟜" Vv")⊸× Rp ← Pos⊸∾⟜("width"‿"height"≍˘FmtNum)○(d⊸×) tx ← ↕xl ⋄ y ← » yd ← +`0.6+1.2‿1‿xn‿1.8‿1.8 |