Add gt.approx, gt.napprox, lt.approx, lt.napprox and colon.double (#3245)

This commit is contained in:
Malo 2024-01-24 11:56:03 +01:00 committed by GitHub
parent f27321b269
commit 1612913f8f
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -79,7 +79,7 @@ pub(crate) const SYM: &[(&str, Symbol)] = symbols! {
at: '@', at: '@',
backslash: ['\\', circle: '', not: ''], backslash: ['\\', circle: '', not: ''],
co: '', co: '',
colon: [':', eq: '', double.eq: ''], colon: [':', double: '', eq: '', double.eq: ''],
comma: ',', comma: ',',
dagger: ['†', double: ''], dagger: ['†', double: ''],
dash: [ dash: [
@ -239,6 +239,7 @@ pub(crate) const SYM: &[(&str, Symbol)] = symbols! {
curly.ntilde: '', curly.ntilde: '',
curly.tilde: '', curly.tilde: '',
dot: '', dot: '',
approx: '',
double: '', double: '',
eq: '', eq: '',
eq.slant: '', eq.slant: '',
@ -247,6 +248,7 @@ pub(crate) const SYM: &[(&str, Symbol)] = symbols! {
equiv: '', equiv: '',
lt: '', lt: '',
lt.not: '', lt.not: '',
napprox: '',
nequiv: '', nequiv: '',
not: '', not: '',
ntilde: '', ntilde: '',
@ -275,6 +277,7 @@ pub(crate) const SYM: &[(&str, Symbol)] = symbols! {
curly.ntilde: '', curly.ntilde: '',
curly.tilde: '', curly.tilde: '',
dot: '', dot: '',
approx: '',
double: '', double: '',
eq: '', eq: '',
eq.slant: '' , eq.slant: '' ,
@ -283,6 +286,7 @@ pub(crate) const SYM: &[(&str, Symbol)] = symbols! {
equiv: '', equiv: '',
gt: '', gt: '',
gt.not: '', gt.not: '',
napprox: '',
nequiv: '', nequiv: '',
not: '', not: '',
ntilde: '', ntilde: '',