Document ·, ⊠, and ⧢ operators

Author: d-torrance

M2/Macaulay2/packages/Macaulay2Doc/operators/tensor.m2

@@ -34,3 +34,33 @@ Node
     Example
       {1, 2} ** {10, 20, 30}
 ///
+
+doc ///
+  Key
+    symbol ⊠
+  Headline
+    a binary operator, usually used for external product
+  Description
+    Text
+      To insert this character in Emacs, you may press @KBD "C-x 8 RET"@
+      or @KBD "M-x insert-char"@ and then enter "squared times" in the
+      minibuffer.
+
+      Alternatively, you may press @KBD "C-x RET C-\\"@ or
+      @KBD "M-x set-input-method"@ and then enter "TeX" in the minibuffer.
+      Afterwards, typing "\boxtimes" will input the ⊠ character.  You may then
+      toggle the input method using @KBD "C-\\"@  or
+      @KBD "M-x toggle-input-method"@.
+///
+
+doc ///
+  Key
+    symbol ⧢
+  Headline
+    a binary operator, usually used for shuffle product
+  Description
+    Text
+      To insert this character in Emacs, you may press @KBD "C-x 8 RET"@
+      or @KBD "M-x insert-char"@ and then enter "shuffle product" in the
+      minibuffer.
+///

M2/Macaulay2/packages/Macaulay2Doc/operators/times.m2

@@ -196,3 +196,21 @@ document {
 	  },
      SeeAlso => {(degree,Matrix),degrees}
      }
+
+doc ///
+  Key
+    symbol ·
+  Headline
+    a binary operator, usually used for dot product
+  Description
+    Text
+      To insert this character in Emacs, you may press @KBD "C-x 8 RET"@
+      or @KBD "M-x insert-char"@ and then enter "middle dot" in the
+      minibuffer.
+
+      Alternatively, you may press @KBD "C-x RET C-\\"@ or
+      @KBD "M-x set-input-method"@ and then enter "TeX" in the minibuffer.
+      Afterwards, typing "\cdot" will input the · character.  You may then
+      toggle the input method using @KBD "C-\\"@  or
+      @KBD "M-x toggle-input-method"@.
+///

M2/Macaulay2/packages/Macaulay2Doc/ov_language.m2

@@ -1065,6 +1065,7 @@ document {
 	  TO symbol + ,
 	  TO symbol - ,
 	  TO symbol * ,
+	  TO symbol · ,
 	  TO symbol / ,
 	  TO symbol // ,
 	  TO symbol % ,
@@ -1073,6 +1074,8 @@ document {
 	  TO symbol ++ ,
 	  TO symbol ** ,
           TO symbol ^** ,
+	  TO symbol ⊠ ,
+	  TO symbol ⧢ ,
           TO symbol ~ ,
 	  TO symbol (*) ,
           TO symbol : ,