From c2f0b8b6b504c8bbc259c9443cf581e7cf2b51bc Mon Sep 17 00:00:00 2001
From: Yiqi Xu <32867606+YiqiXu@users.noreply.github.com>
Date: Thu, 17 Nov 2022 18:22:49 +0100
Subject: [PATCH] Improve the math symbol list (#15)

* LaTeX: Stix Binary Operators Update

add TeXmacs-style keyboard shortcuts

* LaTeX: Stix Binary Operators Update

add a TeXmacs-style keyboard shortcut

* Improve the math symbol list

- Add a note.
- Mark up the unmarked macros.
- Add missing TeXmacs-style shorthands.
- Add missing symbols.
- Move *'s out of the markup box.

* Update docs
---
 LaTeX/AMSBinaryOperators.tm  |  2 +-
 LaTeX/BinaryOperators.tm     |  2 +-
 LaTeX/MathSymbols.tm         | 63 +++++++++++++++++++++++++++---------
 LaTeX/StixBinaryOperators.tm |  2 +-
 LaTeX/index.tm               | 34 +++----------------
 5 files changed, 55 insertions(+), 48 deletions(-)

diff --git a/LaTeX/AMSBinaryOperators.tm b/LaTeX/AMSBinaryOperators.tm
index 1ed5685..1e3492f 100644
--- a/LaTeX/AMSBinaryOperators.tm
+++ b/LaTeX/AMSBinaryOperators.tm
@@ -1,4 +1,4 @@
-<TeXmacs|2.1.3>
+<TeXmacs|2.1.2>
 
 <style|<tuple|beamer|chinese|doc>>
 
diff --git a/LaTeX/BinaryOperators.tm b/LaTeX/BinaryOperators.tm
index f6ae554..71d4960 100644
--- a/LaTeX/BinaryOperators.tm
+++ b/LaTeX/BinaryOperators.tm
@@ -1,4 +1,4 @@
-<TeXmacs|2.1.3>
+<TeXmacs|2.1.2>
 
 <style|<tuple|beamer|chinese|doc>>
 
diff --git a/LaTeX/MathSymbols.tm b/LaTeX/MathSymbols.tm
index 04c5678..1ab748f 100644
--- a/LaTeX/MathSymbols.tm
+++ b/LaTeX/MathSymbols.tm
@@ -5,6 +5,24 @@
 <\body>
   <doc-data|<doc-title|Math Symbols List>|>
 
+  <paragraph|Note>
+
+  <\itemize-dot>
+    <item>The <TeXmacs>-style keyboard shorthands work only in the
+    mathematical mode.\ 
+
+    <item>Macros with red markup are not yet supported in GNU
+    <TeXmacs>/<name|Mogan Editor>.
+
+    <item>Although some unusual symbols are not supported by shorthands in
+    GNU <TeXmacs>/<name|Mogan Editor>, but they can be entered using menu,
+    e.g. <math|\<smile\>> and <math|\<frown\>>.
+
+    <item>Macros with a * are not predefined in <LaTeX>
+    2<math|\<varepsilon\>>. They need one of the packages <markup|latexsym>,
+    <markup|amsfonts> or <markup|amssymb>.\ 
+  </itemize-dot>
+
   <\big-table>
     <tabular*|<tformat|<table|<row|<cell|<math|\<alpha\>>>|<cell|<key*|a
     var>>|<cell|>|<cell|<math|\<theta\>>>|<cell|<key*|j
@@ -61,14 +79,14 @@
   var var var>>|<cell|>|<cell|<math|\<otimes\>>>|<cell|<key|@
   *>>|<cell|>|<cell|<math|\<triangleright\>>>|<cell|>|<cell|>>|<row|<cell|>|<cell|<markup|\\bigcirc>>|<cell|>|<cell|>|<cell|<markup|\\ddagger>>|<cell|>|<cell|>|<cell|<markup|\\otimes>>|<cell|>|<cell|>|<cell|<markup|\\triangleright>>|<cell|>>|<row|<cell|<math|\<bigtriangledown\>>>|<cell|>|<cell|>|<cell|<math|\<diamond\>>>|<cell|>|<cell|>|<cell|<math|\<pm\>>>|<cell|<key|+
   ->>|<cell|>|<cell|<math|\<trianglelefteq\>>>|<cell|<key|\<less\> \| var =
-  var>>|<cell|>>|<row|<cell|>|<cell|<markup|\\bigtriangledown>>|<cell|>|<cell|>|<cell|<markup|\\diamond>>|<cell|>|<cell|>|<cell|<markup|\\pm>>|<cell|>|<cell|>|<cell|<todo|\\unlhd>>|<cell|>>|<row|<cell|<math|\<bigtriangleup\>>>|<cell|>|<cell|>|<cell|<math|\<div\>>>|<cell|<key|/
+  var>>|<cell|>>|<row|<cell|>|<cell|<markup|\\bigtriangledown>>|<cell|>|<cell|>|<cell|<markup|\\diamond>>|<cell|>|<cell|>|<cell|<markup|\\pm>>|<cell|>|<cell|>|<cell|<todo|<markup|\\unlhd>*>>|<cell|>>|<row|<cell|<math|\<bigtriangleup\>>>|<cell|>|<cell|>|<cell|<math|\<div\>>>|<cell|<key|/
   var var>>|<cell|>|<cell|<math|\<vartriangleright\>>>|<cell|<key|\| \<gtr\>
   var>>|<cell|>|<cell|<math|\<trianglerighteq\>>>|<cell|<key|\| \<gtr\> var =
-  var>>|<cell|>>|<row|<cell|>|<cell|<markup|\\bigtriangleup>>|<cell|>|<cell|>|<cell|<markup|\\div>>|<cell|>|<cell|>|<cell|<todo|\\rhd>>|<cell|>|<cell|>|<cell|<todo|\\unrhd>>|<cell|>>|<row|<cell|<math|\<bullet\>>>|<cell|<key|@
+  var>>|<cell|>>|<row|<cell|>|<cell|<markup|\\bigtriangleup>>|<cell|>|<cell|>|<cell|<markup|\\div>>|<cell|>|<cell|>|<cell|<todo|<markup|\\rhd>*>>|<cell|>|<cell|>|<cell|<todo|<markup|\\unrhd>*>>|<cell|>>|<row|<cell|<math|\<bullet\>>>|<cell|<key|@
   var var>>|<cell|>|<cell|<math|\<vartriangleleft\>>>|<cell|<key|\<less\> \|
   var>>|<cell|>|<cell|<math|\<setminus\>>>|<cell|<key|\\ var
   var>>|<cell|>|<cell|<math|\<uplus\>>>|<cell|<key|% var
-  +>>|<cell|>>|<row|<cell|>|<cell|<markup|\\bullet>>|<cell|>|<cell|>|<cell|<todo|\\lhd>>|<cell|>|<cell|>|<cell|<markup|\\setminus>>|<cell|>|<cell|>|<cell|<markup|\\uplus>>|<cell|>>|<row|<cell|<math|\<cap\>>>|<cell|<key|&
+  +>>|<cell|>>|<row|<cell|>|<cell|<markup|\\bullet>>|<cell|>|<cell|>|<cell|<todo|<markup|\\lhd>*>>|<cell|>|<cell|>|<cell|<markup|\\setminus>>|<cell|>|<cell|>|<cell|<markup|\\uplus>>|<cell|>>|<row|<cell|<math|\<cap\>>>|<cell|<key|&
   var>>|<cell|>|<cell|<math|\<mp\>>>|<cell|<key|-
   +>>|<cell|>|<cell|<math|\<sqcap\>>>|<cell|<key|& var
   var>>|<cell|>|<cell|<math|\<vee\>>>|<cell|<key|%>>|<cell|>>|<row|<cell|>|<cell|<markup|\\cap>>|<cell|>|<cell|>|<cell|<markup|\\mp>>|<cell|>|<cell|>|<cell|<markup|\\sqcap>>|<cell|>|<cell|>|<cell|<markup|\\vee>>|<cell|>>|<row|<cell|<math|\<cdot\>>>|<cell|<key|*
@@ -89,21 +107,27 @@
   var var var>>|<cell|>>|<row|<cell|>|<cell|<markup|\\prec>>|<cell|>|<cell|>|<cell|<markup|\\succ>>|<cell|>|<cell|>|<cell|<markup|\\sim>>|<cell|>|<cell|>|<cell|<markup|\\perp>>|<cell|>>|<row|<cell|<math|\<preceq\>>>|<cell|<key|\<less\>
   var var var = var>>|<cell|>|<cell|<math|\<succeq\>>>|<cell|<key|\<gtr\> var
   var var = var>>|<cell|>|<cell|<math|\<simeq\>>>|<cell|<key|~
-  ->>|<cell|>|<cell|<math|\<mid\>>>|<cell|>|<cell|>>|<row|<cell|>|<cell|<markup|\\preceq>>|<cell|>|<cell|>|<cell|<markup|\\succeq>>|<cell|>|<cell|>|<cell|<markup|\\simeq>>|<cell|>|<cell|>|<cell|<markup|\\mid>>|<cell|>>|<row|<cell|<math|\<ll\>>>|<cell|<key|\<less\>
+  ->>|<cell|>|<cell|<math|\<mid\>>>|<cell|<key|\|
+  var>>|<cell|>>|<row|<cell|>|<cell|<markup|\\preceq>>|<cell|>|<cell|>|<cell|<markup|\\succeq>>|<cell|>|<cell|>|<cell|<markup|\\simeq>>|<cell|>|<cell|>|<cell|<markup|\\mid>>|<cell|>>|<row|<cell|<math|\<ll\>>>|<cell|<key|\<less\>
   \<less\>>>|<cell|>|<cell|<math|\<gg\>>>|<cell|<key|\<gtr\>
-  \<gtr\>>>|<cell|>|<cell|<math|\<asymp\>>>|<cell|>|<cell|>|<cell|<math|<around*|\<\|\|\>||\<nobracket\>>>>|<cell|>|<cell|>>|<row|<cell|>|<cell|<markup|\\ll>>|<cell|>|<cell|>|<cell|<markup|\\gg>>|<cell|>|<cell|>|<cell|<markup|\\asymp>>|<cell|>|<cell|>|<cell|<markup|\\parallel>>|<cell|>>|<row|<cell|<math|\<subset\>>>|<cell|<key|\<less\>
+  \<gtr\>>>|<cell|>|<cell|<math|\<asymp\>>>|<cell|<key|=
+  var>>|<cell|>|<cell|<math|<around*|\<\|\|\>||\<nobracket\>>>>|<cell|<key|\|
+  \| var>>|<cell|>>|<row|<cell|>|<cell|<markup|\\ll>>|<cell|>|<cell|>|<cell|<markup|\\gg>>|<cell|>|<cell|>|<cell|<markup|\\asymp>>|<cell|>|<cell|>|<cell|<markup|\\parallel>>|<cell|>>|<row|<cell|<math|\<subset\>>>|<cell|<key|\<less\>
   var var>>|<cell|>|<cell|<math|\<supset\>>>|<cell|<key|\<gtr\> var
-  var><compound|markup|>>|<cell|>|<cell|<math|\<approx\>>>|<cell|<key|~ ~
-  >>|<cell|>|<cell|>|<cell|>|<cell|>>|<row|<cell|>|<cell|<markup|\\subset>>|<cell|>|<cell|>|<cell|<markup|\\supset>>|<cell|>|<cell|>|<cell|<markup|\\approx>>|<cell|>|<cell|>|<cell|<todo|<markup|\\bowtie>>>|<cell|>>|<row|<cell|<math|\<subseteq\>>>|<cell|<key|\<less\>
+  var><compound|markup|>>|<cell|>|<cell|<math|\<approx\>>>|<cell|<key|~
+  ~>>|<cell|>|<cell|<math|>\<join\>>|<cell|>|<cell|>>|<row|<cell|>|<cell|<markup|\\subset>>|<cell|>|<cell|>|<cell|<markup|\\supset>>|<cell|>|<cell|>|<cell|<markup|\\approx>>|<cell|>|<cell|>|<cell|<todo|<markup|\\bowtie>>>|<cell|>>|<row|<cell|<math|\<subseteq\>>>|<cell|<key|\<less\>
   var var =>>|<cell|>|<cell|<math|\<supseteq\>>>|<cell|<key|\<gtr\> var var
-  =>>|<cell|>|<cell|<math|\<cong\>>>|<cell|>|<cell|>|<cell|>|<cell|>|<cell|>>|<row|<cell|>|<cell|<markup|\\subseteq>>|<cell|>|<cell|>|<cell|<markup|\\supseteq>>|<cell|>|<cell|>|<cell|<markup|\\cong>>|<cell|>|<cell|>|<cell|<todo|<markup|\\Join*>><compound|markup|>>|<cell|>>|<row|<cell|<math|\<sqsubset\>><compound|markup|>>|<cell|<key|\<less\>
+  =>>|<cell|>|<cell|<math|\<cong\>>>|<cell|<key|~
+  =>>|<cell|>|<cell|\<Bowtie\>>|<cell|>|<cell|>>|<row|<cell|>|<cell|<markup|\\subseteq>>|<cell|>|<cell|>|<cell|<markup|\\supseteq>>|<cell|>|<cell|>|<cell|<markup|\\cong>>|<cell|>|<cell|>|<cell|<todo|<markup|\\Join>*><compound|markup|>>|<cell|>>|<row|<cell|<math|\<sqsubset\>><compound|markup|>>|<cell|<key|\<less\>
   var var var var>>|<cell|>|<cell|<math|\<sqsupset\>>>|<cell|<key|\<gtr\> var
   var var var>>|<cell|>|<cell|<math|\<neq\>>>|<cell|<key|=
-  />>|<cell|>|<cell|<math|\<smile\>>>|<cell|>|<cell|>>|<row|<cell|>|<cell|<todo|<markup|\\sqsubset*>>>|<cell|>|<cell|>|<cell|<todo|<markup|\\sqsupset*>>>|<cell|>|<cell|>|<cell|<markup|\\neq>>|<cell|>|<cell|>|<cell|<markup|\\smile>>|<cell|>>|<row|<cell|<math|\<sqsubseteq\>>>|<cell|<key|\<less\>
+  />>|<cell|>|<cell|<math|\<smile\>>>|<cell|>|<cell|>>|<row|<cell|>|<cell|<todo|<markup|\\sqsubset>*>>|<cell|>|<cell|>|<cell|<todo|<markup|\\sqsupset>*>>|<cell|>|<cell|>|<cell|<markup|\\neq>>|<cell|>|<cell|>|<cell|<markup|\\smile>>|<cell|>>|<row|<cell|<math|\<sqsubseteq\>>>|<cell|<key|\<less\>
   var var var var =>>|<cell|>|<cell|<math|\<sqsupseteq\>>>|<cell|<key|\<gtr\>
-  var var var var =>>|<cell|>|<cell|>|<cell|>|<cell|>|<cell|<math|\<frown\>>>|<cell|>|<cell|>>|<row|<cell|>|<cell|<markup|\\sqsubseteq>>|<cell|>|<cell|>|<cell|<markup|\\sqsupseteq>>|<cell|>|<cell|>|<cell|<todo|<markup|\\doteq>>>|<cell|>|<cell|>|<cell|<markup|\\frown>>|<cell|>>|<row|<cell|<math|\<in\>>>|<cell|<key|\<less\>
+  var var var var =>>|<cell|>|<cell|<math|\<doteq\>>>|<cell|<key|.
+  =>>|<cell|>|<cell|<math|\<frown\>>>|<cell|<math|>>|<cell|>>|<row|<cell|>|<cell|<markup|\\sqsubseteq>>|<cell|>|<cell|>|<cell|<markup|\\sqsupseteq>>|<cell|>|<cell|>|<cell|<todo|<markup|\\doteq>>>|<cell|>|<cell|>|<cell|<markup|\\frown>>|<cell|>>|<row|<cell|<math|\<in\>>>|<cell|<key|\<less\>
   var>>|<cell|>|<cell|<math|\<ni\>>>|<cell|<key|\<gtr\>
-  var>>|<cell|>|<cell|<math|\<propto\>>>|<cell|>|<cell|>|<cell|<math|=>>|<cell|<key|=>>|<cell|>>|<row|<cell|>|<cell|<markup|\\in>>|<cell|>|<cell|>|<cell|<markup|\\ni>>|<cell|>|<cell|>|<cell|<markup|\\propto>>|<cell|>|<cell|>|<cell|>|<cell|>>|<row|<cell|<math|\<vdash\>>>|<cell|<key|\|
+  var>>|<cell|>|<cell|<math|\<propto\>>>|<cell|<key|@ @ var
+  var>>|<cell|>|<cell|<math|=>>|<cell|<key|=>>|<cell|>>|<row|<cell|>|<cell|<markup|\\in>>|<cell|>|<cell|>|<cell|<markup|\\ni>>|<cell|>|<cell|>|<cell|<markup|\\propto>>|<cell|>|<cell|>|<cell|>|<cell|>>|<row|<cell|<math|\<vdash\>>>|<cell|<key|\|
   var ->>|<cell|>|<cell|<math|\<dashv\>>>|<cell|<key|- \|
   var>>|<cell|>|<cell|<math|\<less\>>>|<cell|<key|\<less\>>>|<cell|>|<cell|<math|\<gtr\>>>|<cell|<key|\<gtr\>>>|<cell|>>|<row|<cell|>|<cell|<markup|\\vdash>>|<cell|>|<cell|>|<cell|<markup|\\dashv>>|<cell|>|<cell|>|<cell|>|<cell|>|<cell|>|<cell|>|<cell|>>|<row|<cell|<math|:>>|<cell|<key|:>>|<cell|>|<cell|>|<cell|>|<cell|>|<cell|>|<cell|>|<cell|>|<cell|>|<cell|>|<cell|>>|<row|<cell|>|<cell|>|<cell|>|<cell|>|<cell|>|<cell|>|<cell|>|<cell|>|<cell|>|<cell|>|<cell|>|<cell|>>>>>>
     Relation Symbols
@@ -127,10 +151,11 @@
 <\references>
   <\collection>
     <associate|auto-1|<tuple|1|1>>
-    <associate|auto-2|<tuple|2|1>>
-    <associate|auto-3|<tuple|3|1>>
-    <associate|auto-4|<tuple|4|?>>
-    <associate|auto-5|<tuple|5|?>>
+    <associate|auto-2|<tuple|1|1>>
+    <associate|auto-3|<tuple|2|2>>
+    <associate|auto-4|<tuple|3|2>>
+    <associate|auto-5|<tuple|4|2>>
+    <associate|auto-6|<tuple|5|?>>
   </collection>
 </references>
 
@@ -148,6 +173,14 @@
       <tuple|normal|<\surround|<hidden-binding|<tuple>|3>|>
         Relation Symbols
       </surround>|<pageref|auto-3>>
+
+      <tuple|normal|<\surround|<hidden-binding|<tuple>|4>|>
+        Punctuation Symbols
+      </surround>|<pageref|auto-4>>
+
+      <tuple|normal|<\surround|<hidden-binding|<tuple>|5>|>
+        Arrow Symbols
+      </surround>|<pageref|auto-5>>
     </associate>
   </collection>
 </auxiliary>
\ No newline at end of file
diff --git a/LaTeX/StixBinaryOperators.tm b/LaTeX/StixBinaryOperators.tm
index aa8ece2..f76db31 100644
--- a/LaTeX/StixBinaryOperators.tm
+++ b/LaTeX/StixBinaryOperators.tm
@@ -1,4 +1,4 @@
-<TeXmacs|2.1.3>
+<TeXmacs|2.1.2>
 
 <style|<tuple|beamer|chinese|doc>>
 
diff --git a/LaTeX/index.tm b/LaTeX/index.tm
index 1ba02e1..fb02fd9 100644
--- a/LaTeX/index.tm
+++ b/LaTeX/index.tm
@@ -1,16 +1,16 @@
 <TeXmacs|2.1.2>
 
-<style|<tuple|generic|chinese|doc>>
+<style|<tuple|tmdoc|chinese|doc>>
 
 <\body>
+  <tmdoc-title|<LaTeX>符号大全>
+
   <\hide-preamble>
     <assign|myspace|http://git.tmml.wiki/XmacsLabs/planet/raw/main/LaTeX/>
 
     <assign|gitlink|<macro|name|<hlink|<arg|name>|<merge|<value|myspace>|<arg|name>|.tm>>>>
   </hide-preamble>
 
-  <doc-data|<doc-title|<LaTeX>符号大全>>
-
   <section*|<LaTeX>数学符号一览>
 
   下面这份文件中罗列了<LaTeX>的数学符号以及这些数学符号在<TeXmacs>中的对应快捷键
@@ -65,30 +65,4 @@
   <\collection>
     <associate|page-medium|paper>
   </collection>
-</initial>
-
-<\references>
-  <\collection>
-    <associate|auto-1|<tuple|?|1>>
-    <associate|auto-2|<tuple|<with|mode|<quote|math>|\<bullet\>>|1>>
-    <associate|auto-3|<tuple|1|?>>
-    <associate|auto-4|<tuple|<with|mode|<quote|math>|\<bullet\>>|?>>
-    <associate|auto-5|<tuple|1|?>>
-    <associate|auto-6|<tuple|<with|mode|<quote|math>|\<bullet\>>|?>>
-    <associate|footnote-1|<tuple|1|1>>
-    <associate|footnr-1|<tuple|1|1>>
-  </collection>
-</references>
-
-<\auxiliary>
-  <\collection>
-    <\associate|idx>
-      <tuple|<tuple|<with|font-family|<quote|ss>|帮助>|<with|font-family|<quote|ss>|墨干编辑器>>|<pageref|auto-1>>
-    </associate>
-    <\associate|toc>
-      <vspace*|1fn><with|font-series|<quote|bold>|math-font-series|<quote|bold>|符号列表>
-      <datoms|<macro|x|<repeat|<arg|x>|<with|font-series|medium|<with|font-size|1|<space|0.2fn>.<space|0.2fn>>>>>|<htab|5mm>>
-      <no-break><pageref|auto-2><vspace|0.5fn>
-    </associate>
-  </collection>
-</auxiliary>
\ No newline at end of file
+</initial>
\ No newline at end of file