Rename math symbols (#1124)

Co-authored-by: Ryan Pitasky <111201305+rpitasky@users.noreply.github.com>
Co-authored-by: Daniel Csillag <15617291+dccsillag@users.noreply.github.com>

1 files changed, 43 insertions, 15 deletions

diff --git a/crates/typst-library/src/symbols/sym.rs b/crates/typst-library/src/symbols/sym.rs
index 8b1b0b39..366d54ed 100644
--- a/crates/typst-library/src/symbols/sym.rs
+++ b/crates/typst-library/src/symbols/sym.rs
@@ -71,7 +71,7 @@ pub(crate) const SYM: &[(&str, Symbol)] = symbols! {
         triple: '⁂',
         small: '﹡',
         circle: '⊛',
-        sq: '⧆',
+        square: '⧆',
     ],
     at: '@',
     backslash: ['\\', circle: '⦸', not: '⧷'],
@@ -118,12 +118,12 @@ pub(crate) const SYM: &[(&str, Symbol)] = symbols! {
         eq: '≃',
         eq.not: '≄',
         eq.rev: '⋍',
-        eqq: '≅',
-        eqq.not: '≇',
-        neqq: '≆',
+        equiv: '≅',
+        equiv.not: '≇',
+        nequiv: '≆',
         not: '≁',
         rev: '∽',
-        rev.eqq: '≌',
+        rev.equiv: '≌',
         triple: '≋',
     ],
 
@@ -218,20 +218,33 @@ pub(crate) const SYM: &[(&str, Symbol)] = symbols! {
         quest: '≟',
         small: '﹦',
         succ: '⋟',
+        triple: '≡',
+        quad: '≣',
     ],
     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: '⋗',
         double: '≫',
         eq: '≥',
         eq.slant: '⩾',
         eq.lt: '⋛',
         eq.not: '≱',
-        eqq: '≧',
+        equiv: '≧',
         lt: '≷',
         lt.not: '≹',
-        neqq: '≩',
+        nequiv: '≩',
         not: '≯',
         ntilde: '⋧',
         small: '﹥',
@@ -247,16 +260,27 @@ 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: '⋖',
         double: '≪',
         eq: '≤',
         eq.slant: '⩽' ,
         eq.gt: '⋚',
         eq.not: '≰',
-        eqq: '≦',
+        equiv: '≦',
         gt: '≶',
         gt.not: '≸',
-        neqq: '≨',
+        nequiv: '≨',
         not: '≮',
         ntilde: '⋦',
         small: '﹤',
@@ -276,9 +300,9 @@ pub(crate) const SYM: &[(&str, Symbol)] = symbols! {
         double: '⪻',
         eq: '≼',
         eq.not: '⋠',
-        eqq: '⪳',
+        equiv: '⪳',
         napprox: '⪹',
-        neqq: '⪵',
+        nequiv: '⪵',
         not: '⊀',
         ntilde: '⋨',
         tilde: '≾',
@@ -289,17 +313,18 @@ pub(crate) const SYM: &[(&str, Symbol)] = symbols! {
         double: '⪼',
         eq: '≽',
         eq.not: '⋡',
-        eqq: '⪴',
+        equiv: '⪴',
         napprox: '⪺',
-        neqq: '⪶',
+        nequiv: '⪶',
         not: '⊁',
         ntilde: '⋩',
         tilde: '≿',
     ],
-    ident: ['≡', not: '≢', strict: '≣'],
+    equiv: ['≡', not: '≢'],
     prop: '∝',
 
     // Set theory.
+    emptyset: ['∅', rev: '⦰'],
     nothing: ['∅', rev: '⦰'],
     without: '∖',
     complement: '∁',
@@ -381,7 +406,7 @@ pub(crate) const SYM: &[(&str, Symbol)] = symbols! {
         double: '∬',
         quad: '⨌',
         sect: '⨙',
-        sq: '⨖',
+        square: '⨖',
         surf: '∯',
         times: '⨘',
         triple: '∭',
@@ -798,8 +823,11 @@ pub(crate) const SYM: &[(&str, Symbol)] = symbols! {
      Zeta: 'Ζ',
 
      // Hebrew.
+     aleph: 'א',
      alef: 'א',
+     beth: 'ב',
      bet: 'ב',
+     gimmel: 'ג',
      gimel: 'ג',
      shin: 'ש',