diff options
| author | Alex Saveau <saveau.alexandre@gmail.com> | 2023-04-19 10:08:59 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-04-19 19:08:59 +0200 |
| commit | b285bea41de7bea0ea33878d812fd4a046913128 (patch) | |
| tree | 264023ec2642df51ebf87e2eb638d46cd3e63b58 /library/src/symbols | |
| parent | f08ae95b9d8be5165f9c8cac4c755d0510c3a18a (diff) | |
Make `dot` be multiplication and add `dot.period` for periods (#747)
Diffstat (limited to 'library/src/symbols')
| -rw-r--r-- | library/src/symbols/sym.rs | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/library/src/symbols/sym.rs b/library/src/symbols/sym.rs index e48452eb..421efe85 100644 --- a/library/src/symbols/sym.rs +++ b/library/src/symbols/sym.rs @@ -64,12 +64,12 @@ pub(crate) const SYM: &[(&str, Symbol)] = symbols! { // Punctuation. amp: ['&', inv: '⅋'], ast: [ - '*', + basic: '*', + op: '∗', low: '⁎', double: '⁑', triple: '⁂', small: '﹡', - op: '∗', circle: '⊛', sq: '⧆', ], @@ -89,8 +89,8 @@ pub(crate) const SYM: &[(&str, Symbol)] = symbols! { wave.double: '〰', ], dot: [ - '.', op: '⋅', + basic: '.', c: '·', circle: '⊙', circle.big: '⨀', @@ -111,10 +111,10 @@ pub(crate) const SYM: &[(&str, Symbol)] = symbols! { section: '§', semi: [';', rev: '⁏'], slash: ['/', double: '⫽', triple: '⫻'], - dots: [h: '…', h.c: '⋯', v: '⋮', down: '⋱', up: '⋰'], + dots: [h.c: '⋯', h: '…', v: '⋮', down: '⋱', up: '⋰'], tilde: [ - '~', op: '∼', + basic: '~', eq: '≃', eq.not: '≄', eq.rev: '⋍', |