Add geq (#1557)

2023-06-24 15:28:54 +03:00 · 2023-06-24 15:28:54 +03:00 · 1928154e69
commit 1928154e69
parent c5e82b3fa8
1 changed files with 2 additions and 0 deletions
--- a/library/src/symbols/sym.rs
+++ b/library/src/symbols/sym.rs
@ -225,6 +225,7 @@ pub(crate) const SYM: &[(&str, Symbol)] = symbols! {
        dot: '⋗',
        double: '≫',
        eq: '≥',
+        eq.slant: '⩾',
        eq.lt: '⋛',
        eq.not: '≱',
        eqq: '≧',
@ -249,6 +250,7 @@ pub(crate) const SYM: &[(&str, Symbol)] = symbols! {
        dot: '⋖',
        double: '≪',
        eq: '≤',
+        eq.slant: '⩽' ,
        eq.gt: '⋚',
        eq.not: '≰',
        eqq: '≦',