Rename existing symbols (, , , ), add new symbols (, , , ), remove all {lt,gt}.curly* symbols for consistency (#4059)

This commit is contained in:
Yip Coekjan 2024-05-08 00:49:40 +08:00 committed by GitHub
parent cbb01fc81a
commit cf393f97dc
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -229,17 +229,6 @@ pub(crate) const SYM: &[(&str, Symbol)] = symbols! {
gt: [
'>',
circle: '',
curly: '',
curly.approx: '',
curly.double: '',
curly.eq: '',
curly.eq.not: '',
curly.equiv: '',
curly.napprox: '',
curly.nequiv: '',
curly.not: '',
curly.ntilde: '',
curly.tilde: '',
dot: '',
approx: '',
double: '',
@ -267,17 +256,6 @@ pub(crate) const SYM: &[(&str, Symbol)] = symbols! {
lt: [
'<',
circle: '',
curly: '',
curly.approx: '',
curly.double: '',
curly.eq: '',
curly.eq.not: '',
curly.equiv: '',
curly.napprox: '',
curly.nequiv: '',
curly.not: '',
curly.ntilde: '',
curly.tilde: '',
dot: '',
approx: '',
double: '',
@ -306,11 +284,13 @@ pub(crate) const SYM: &[(&str, Symbol)] = symbols! {
prec: [
'≺',
approx: '',
curly.eq: '',
curly.eq.not: '',
double: '',
eq: '',
eq.not: '',
eq: '',
equiv: '',
napprox: '',
neq: '',
nequiv: '',
not: '',
ntilde: '',
@ -319,11 +299,13 @@ pub(crate) const SYM: &[(&str, Symbol)] = symbols! {
succ: [
'≻',
approx: '',
curly.eq: '',
curly.eq.not: '',
double: '',
eq: '',
eq.not: '',
eq: '',
equiv: '',
napprox: '',
neq: '',
nequiv: '',
not: '',
ntilde: '',