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 | |
| parent | f08ae95b9d8be5165f9c8cac4c755d0510c3a18a (diff) | |
Make `dot` be multiplication and add `dot.period` for periods (#747)
Diffstat (limited to 'library')
| -rw-r--r-- | library/src/math/matrix.rs | 4 | ||||
| -rw-r--r-- | library/src/symbols/sym.rs | 10 |
2 files changed, 7 insertions, 7 deletions
diff --git a/library/src/math/matrix.rs b/library/src/math/matrix.rs index f2a9fe97..368cd5c4 100644 --- a/library/src/math/matrix.rs +++ b/library/src/math/matrix.rs @@ -10,7 +10,7 @@ const VERTICAL_PADDING: Ratio = Ratio::new(0.1); /// /// ## Example /// ```example -/// $ vec(a, b, c) dot.op vec(1, 2, 3) +/// $ vec(a, b, c) dot vec(1, 2, 3) /// = a + 2b + 3c $ /// ``` /// @@ -135,7 +135,7 @@ impl LayoutMath for MatElem { /// ## Example /// ```example /// $ f(x, y) := cases( -/// 1 "if" (x dot.op y)/2 <= 0, +/// 1 "if" (x dot y)/2 <= 0, /// 2 "if" x "is even", /// 3 "if" x in NN, /// 4 "else", 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: '⋍', |