From d2784f6f9040b280ce9930d8875b33fa034b7dd5 Mon Sep 17 00:00:00 2001 From: Ryan Pitasky <111201305+rpitasky@users.noreply.github.com> Date: Sun, 16 Apr 2023 05:11:38 -0400 Subject: [PATCH] Add algebra symbols (#320) --- library/src/symbols/sym.rs | 18 +++++++++++++++--- 1 file changed, 15 insertions(+), 3 deletions(-) diff --git a/library/src/symbols/sym.rs b/library/src/symbols/sym.rs index 7a2c30570..e48452ebe 100644 --- a/library/src/symbols/sym.rs +++ b/library/src/symbols/sym.rs @@ -191,8 +191,10 @@ pub(crate) const SYM: &[(&str, Symbol)] = symbols! { circle: '⊗', circle.big: '⨂', div: '⋇', - l: '⋋', - r: '⋌', + three.l: '⋋', + three.r: '⋌', + l: '⋉', + r: '⋊', square: '⊠', triangle: '⨻', ], @@ -234,6 +236,10 @@ pub(crate) const SYM: &[(&str, Symbol)] = symbols! { small: '﹥', tilde: '≳', tilde.not: '≵', + tri: '⊳', + tri.eq: '⊵', + tri.eq.not: '⋭', + tri.not: '⋫', triple: '⋙', triple.nested: '⫸', ], @@ -254,6 +260,10 @@ pub(crate) const SYM: &[(&str, Symbol)] = symbols! { small: '﹤', tilde: '≲', tilde.not: '≴', + tri: '⊲', + tri.eq: '⊴', + tri.eq.not: '⋬', + tri.not: '⋪', triple: '⋘', triple.nested: '⫷', ], @@ -400,6 +410,9 @@ pub(crate) const SYM: &[(&str, Symbol)] = symbols! { divides: ['∣', not: '∤'], perp: ['⟂', circle: '⦹'], + // Algebra. + wreath: '≀', + // Geometry. parallel: ['∥', circle: '⦷', not: '∦'], @@ -408,7 +421,6 @@ pub(crate) const SYM: &[(&str, Symbol)] = symbols! { join: ['⨝', r: '⟖', l: '⟕', l.r: '⟗'], degree: ['°', c: '℃', f: '℉'], smash: '⨳', - wreath: '≀', // Currency. bitcoin: '₿',