diff options
| author | DVDTSB <66365801+DVDTSB@users.noreply.github.com> | 2023-06-24 15:28:54 +0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-06-24 14:28:54 +0200 |
| commit | 1928154e695a0e4655d1574e171e54e0d00b3f6a (patch) | |
| tree | ce24e788a582fbf19d1c1eea432b2766383b5114 /library/src | |
| parent | c5e82b3fa8e44e0efd9beb37c477e5dc202f523e (diff) | |
Add geq (#1557)
Diffstat (limited to 'library/src')
| -rw-r--r-- | library/src/symbols/sym.rs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/library/src/symbols/sym.rs b/library/src/symbols/sym.rs index d24a6033..8b1b0b39 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: '≦', |