From b285bea41de7bea0ea33878d812fd4a046913128 Mon Sep 17 00:00:00 2001
From: Alex Saveau <saveau.alexandre@gmail.com>
Date: Wed, 19 Apr 2023 10:08:59 -0700
Subject: Make `dot` be multiplication and add `dot.period` for periods (#747)

---
 library/src/math/matrix.rs |  4 ++--
 library/src/symbols/sym.rs | 10 +++++-----
 2 files changed, 7 insertions(+), 7 deletions(-)

(limited to 'library/src')

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: '⋍',
-- 
cgit v1.2.3