summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorYip Coekjan <69834864+Coekjan@users.noreply.github.com>2024-05-08 00:49:40 +0800
committerGitHub <noreply@github.com>2024-05-07 16:49:40 +0000
commitcf393f97dc221aa325bdbe19e70af7caaef26634 (patch)
tree594fccd671d8d42211af032f5b522a61d80a57ae
parentcbb01fc81abac53874a8c88648ae7781f7312437 (diff)
Rename existing symbols (`≽`, `⋡`, `≼`, `⋠`), add new symbols (`⪰`, `⪲`, `⪯`, `⪱`), remove all `{lt,gt}.curly*` symbols for consistency (#4059)
-rw-r--r--crates/typst/src/symbols/sym.rs34
1 files changed, 8 insertions, 26 deletions
diff --git a/crates/typst/src/symbols/sym.rs b/crates/typst/src/symbols/sym.rs
index 227607bd..0456ed18 100644
--- a/crates/typst/src/symbols/sym.rs
+++ b/crates/typst/src/symbols/sym.rs
@@ -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: '⋩',