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/group.md | |
| parent | 29509cedb9af2715328e44c481738a9ba05cff73 (diff) | |
Change ≍○< to ⋈ throughout diagram-making code
Diffstat (limited to 'doc/group.md')
| -rw-r--r-- | doc/group.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/group.md b/doc/group.md index de8d438e..7029e8f5 100644 --- a/doc/group.md +++ b/doc/group.md @@ -44,7 +44,7 @@ b ← (0.4⌈0.2+≠¨zf) {∾"M vhv"∾¨FmtNum (0‿1‿1‿0‿1⊏d)×(⟨ tg Ge ∾tp Text¨○∾ tt cg Ge ((¯0.8+⊑⊑tx)≍¨3↑ty) Text⟜Highlight¨ "𝕨"‿"𝕩"‿"𝕨⊔𝕩" lg Ge (<"xy"≍⌜"12") ("line" Elt ≍˘○⥊)⟜(FmtNum d×⍉)¨ lp - bg Ge ("path" Elt "d"≍○<⊢)¨ b + bg Ge ("path" Elt "d"⋈⊢)¨ b ⟩ --> |