Add symbols {gt,lt}.neq (#4305)

This commit is contained in:
T0mstone 2024-06-06 17:44:19 +02:00 committed by GitHub
parent 8f7ba8d495
commit 753213c40a
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -239,6 +239,7 @@ pub(crate) const SYM: &[(&str, Symbol)] = symbols! {
equiv: '', equiv: '',
lt: '', lt: '',
lt.not: '', lt.not: '',
neq: '',
napprox: '', napprox: '',
nequiv: '', nequiv: '',
not: '', not: '',
@ -266,6 +267,7 @@ pub(crate) const SYM: &[(&str, Symbol)] = symbols! {
equiv: '', equiv: '',
gt: '', gt: '',
gt.not: '', gt.not: '',
neq: '',
napprox: '', napprox: '',
nequiv: '', nequiv: '',
not: '', not: '',