From 1928154e695a0e4655d1574e171e54e0d00b3f6a Mon Sep 17 00:00:00 2001
From: DVDTSB <66365801+DVDTSB@users.noreply.github.com>
Date: Sat, 24 Jun 2023 15:28:54 +0300
Subject: [PATCH] Add geq (#1557)

---
 library/src/symbols/sym.rs | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/library/src/symbols/sym.rs b/library/src/symbols/sym.rs
index d24a6033e..8b1b0b39e 100644
--- 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: '≦',