From dc5475a701f4a511493890ffdf6d4dabf44acf14 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?=E6=B2=88=E6=B5=AA=E7=86=8A=E7=8C=AB=E5=84=BF?=
 <shenda@ustc.edu>
Date: Wed, 16 Nov 2022 22:02:18 +0800
Subject: [PATCH] LaTeX: math symbols table 1 and 2 1h

---
 LaTeX/MathSymbolsList.tm | 119 +++++++++++++++++++++++----------------
 1 file changed, 71 insertions(+), 48 deletions(-)

diff --git a/LaTeX/MathSymbolsList.tm b/LaTeX/MathSymbolsList.tm
index 7738ed2..13a0fdd 100644
--- a/LaTeX/MathSymbolsList.tm
+++ b/LaTeX/MathSymbolsList.tm
@@ -1,57 +1,80 @@
-<TeXmacs|2.1.3>
+<TeXmacs|2.1.2>
 
 <style|<tuple|generic|doc>>
 
 <\body>
   <doc-data|<doc-title|Math Symbols List>|>
 
-  <\big-table|<tabular|<tformat|<table|<row|<cell|<math|\<alpha\>>>|<cell|<verbatim|\\alpha>>|<cell|<key|a
-  Tab>>|<cell|>|<cell|<math|\<theta\>>>|<cell|<verbatim|\\theta>>|<cell|<key|j
-  Tab>>|<cell|>|<cell|<math|\<omicron\>>>|<cell|<verbatim|o>>|<cell|<verbatim|o>>>|<row|<cell|<math|\<tau\>>>|<cell|<verbatim|\\tau>>|<cell|<key|t
-  Tab>>|<cell|>|<cell|<math|\<beta\>>>|<cell|<verbatim|\\beta>>|<cell|<key|b
-  Tab>>|<cell|>|<cell|<math|\<vartheta\>>>|<cell|<verbatim|\\vartheta>>|<cell|<key|j
-  Tab Tab Tab>>>|<row|<cell|<math|\<pi\>>>|<cell|<verbatim|\\pi>>|<cell|<key|p
-  Tab>>|<cell|>|<cell|<math|\<upsilon\>>>|<cell|<verbatim|\\upsilon>>|<cell|<key|u
-  Tab>>|<cell|>|<cell|<math|\<gamma\>>>|<cell|<verbatim|\\gamma>>|<cell|<key|g
-  Tab>>>|<row|<cell|<math|\<iota\>>>|<cell|<verbatim|\\iota>>|<cell|<key|i
-  Tab>>|<cell|>|<cell|<math|\<varpi\>>>|<cell|<verbatim|\\varpi>>|<cell|<key|p
-  Tab Tab Tab>>|<cell|>|<cell|<math|\<phi\>>>|<cell|<verbatim|\\phi>>|<cell|<key|f
-  Tab Tab>>>|<row|<cell|<math|\<delta\>>>|<cell|<verbatim|\\delta>>|<cell|<key|d
-  Tab>>|<cell|>|<cell|<math|\<kappa\>>>|<cell|<verbatim|\\kappa>>|<cell|<key|k
-  Tab>>|<cell|>|<cell|<math|\<rho\>>>|<cell|<verbatim|\\rho>>|<cell|<key|r
-  Tab>>>|<row|<cell|<math|\<varphi\>>>|<cell|<verbatim|\\varphi>>|<cell|<key|f
-  Tab>>|<cell|>|<cell|<math|\<epsilon\>>>|<cell|<verbatim|\\epsilon>>|<cell|<key|e
-  Tab Tab Tab>>|<cell|>|<cell|<math|\<lambda\>>>|<cell|<verbatim|\\lambda>>|<cell|<key|l
-  Tab>>>|<row|<cell|<math|\<varrho\>>>|<cell|<verbatim|\\varrho>>|<cell|<key|r
-  Tab Tab>>|<cell|>|<cell|<math|\<chi\>>>|<cell|<verbatim|\\chi>>|<cell|<key|q
-  Tab>>|<cell|>|<cell|<math|\<varepsilon\>>>|<cell|<verbatim|\\varepsilon>>|<cell|<key|e
-  Tab>>>|<row|<cell|<math|\<mu\>>>|<cell|<verbatim|\\mu>>|<cell|<key|m
-  Tab>>|<cell|>|<cell|<math|\<sigma\>>>|<cell|<verbatim|\\sigma>>|<cell|<key|s
-  Tab>>|<cell|>|<cell|<math|\<psi\>>>|<cell|<verbatim|\\psi>>|<cell|<key|y
-  Tab>>>|<row|<cell|<math|\<zeta\>>>|<cell|<verbatim|\\zeta>>|<cell|<key|z
-  Tab>>|<cell|>|<cell|<math|\<nu\>>>|<cell|<verbatim|\\nu>>|<cell|<key|n
-  Tab>>|<cell|>|<cell|<math|\<varsigma\>>>|<cell|<verbatim|\\varsigma>>|<cell|<key|s
-  Tab Tab>>>|<row|<cell|<math|\<omega\>>>|<cell|<verbatim|\\omega>>|<cell|<key|w
-  Tab>>|<cell|>|<cell|<math|\<eta\>>>|<cell|<verbatim|\\eta>>|<cell|<key|h
-  Tab>>|<cell|>|<cell|<math|\<xi\>>>|<cell|<verbatim|\\xi>>|<cell|<key|x
-  Tab>>>|<row|<cell|>|<cell|>|<cell|>|<cell|>|<cell|>|<cell|>|<cell|>|<cell|>|<cell|>|<cell|>|<cell|>>|<row|<cell|<math|\<Gamma\>>>|<cell|<verbatim|\\Gamma>>|<cell|<key|g
-  Tab>>|<cell|>|<cell|<math|\<Lambda\>>>|<cell|<verbatim|\\Lambda>>|<cell|<key|l
-  Tab>>|<cell|>|<cell|<math|\<Sigma\>>>|<cell|<verbatim|\\Sigma>>|<cell|<key|s
-  Tab>>>|<row|<cell|<math|\<Psi\>>>|<cell|<verbatim|\\Psi>>|<cell|<key|y
-  Tab>>|<cell|>|<cell|<math|\<Delta\>>>|<cell|<verbatim|\\Delta>>|<cell|<key|d
-  Tab>>|<cell|>|<cell|<math|\<Xi\>>>|<cell|<verbatim|\\Xi>>|<cell|<key|x
-  Tab>>>|<row|<cell|<math|\<Upsilon\>>>|<cell|<verbatim|\\Upsilon>>|<cell|<key|u
-  Tab>>|<cell|>|<cell|<math|\<Omega\>>>|<cell|<verbatim|\\Omega>>|<cell|<key|w
-  Tab>>|<cell|>|<cell|<math|\<Theta\>>>|<cell|<verbatim|\\Theta>>|<cell|<key|j
-  Tab>>>|<row|<cell|<math|\<Pi\>>>|<cell|<verbatim|\\Pi>>|<cell|<key|p
-  Tab>>|<cell|>|<cell|<math|\<Phi\>>>|<cell|<verbatim|\\Phi>>|<cell|<key|f
-  Tab>>|<cell|>|<cell|>|<cell|>|<cell|>>>>>>
+  <\big-table>
+    <tabular*|<tformat|<table|<row|<cell|<math|\<alpha\>>>|<cell|<key*|a
+    var>>|<cell|>|<cell|<math|\<theta\>>>|<cell|<key*|j
+    var>>|<cell|>|<cell|<math|\<omicron\>>>|<cell|<key*|o
+    var>>|<cell|>|<cell|<math|\<upsilon\>>>|<cell|<key*|u
+    var>>>|<row|<cell|>|<cell|<markup|\\alpha>>|<cell|>|<cell|>|<cell|<markup|theta>>|<cell|>|<cell|>|<cell|<markup|omicron>>|<cell|>|<cell|>|<cell|<markup|upsilon>>>|<row|<cell|<math|\<beta\>>>|<cell|<key*|b
+    var>>|<cell|>|<cell|<math|\<vartheta\>>>|<cell|<key|j
+    3*Tab>>|<cell|>|<cell|<math|\<pi\>>>|<cell|<key*|p
+    var>>|<cell|>|<cell|<math|\<phi\>>>|<cell|<key*|v
+    var>>>|<row|<cell|>|<cell|<markup|\\beta>>|<cell|>|<cell|>|<cell|<markup|vartheta>>|<cell|>|<cell|>|<cell|<markup|pi>>|<cell|>|<cell|>|<cell|<markup|phi>>>|<row|<cell|<math|\<gamma\>>>|<cell|<key*|g
+    var>>|<cell|>|<cell|<math|\<iota\>>>|<cell|<key*|i
+    var>>|<cell|>|<cell|<math|\<varpi\>>>|<cell|<key|p><key|3*Tab>>|<cell|>|<cell|<math|\<varphi\>>>|<cell|<key*|v
+    var var>>>|<row|<cell|>|<cell|<markup|\\gamma>>|<cell|>|<cell|>|<cell|<markup|iota>>|<cell|>|<cell|>|<cell|<markup|varpi>>|<cell|>|<cell|>|<cell|<markup|varphi>>>|<row|<cell|<math|\<delta\>>>|<cell|<key*|d
+    var>>|<cell|>|<cell|<math|\<kappa\>>>|<cell|<key*|k
+    var>>|<cell|>|<cell|<math|\<rho\>>>|<cell|<key*|r
+    var>>|<cell|>|<cell|<math|\<chi\>>>|<cell|<key*|q
+    var>>>|<row|<cell|>|<cell|<markup|\\delta>>|<cell|>|<cell|>|<cell|<markup|kappa>>|<cell|>|<cell|>|<cell|<markup|rho>>|<cell|>|<cell|>|<cell|<markup|chi>>>|<row|<cell|<math|\<epsilon\>>>|<cell|<key*|e
+    var>>|<cell|>|<cell|<math|\<lambda\>>>|<cell|<key*|l
+    var>>|<cell|>|<cell|<math|\<varrho\>>>|<cell|<key*|r var
+    var>>|<cell|>|<cell|<math|\<psi\>>>|<cell|<key*|y
+    var>>>|<row|<cell|>|<cell|<markup|\\varepsilon>>|<cell|>|<cell|>|<cell|<markup|lambda>>|<cell|>|<cell|>|<cell|<markup|varrho>>|<cell|>|<cell|>|<cell|<markup|psi>>>|<row|<cell|<math|\<varepsilon\>>>|<cell|<key|e
+    3*Tab>>|<cell|>|<cell|<math|\<mu\>>>|<cell|<key*|m
+    var>>|<cell|>|<cell|<math|\<sigma\>>>|<cell|<key*|s
+    var>>|<cell|>|<cell|<math|\<omega\>>>|<cell|<key*|w
+    var>>>|<row|<cell|>|<cell|<markup|\\epsilon>>|<cell|>|<cell|>|<cell|<markup|mu>>|<cell|>|<cell|>|<cell|<markup|sigma>>|<cell|>|<cell|>|<cell|<markup|omega>>>|<row|<cell|<math|\<zeta\>>>|<cell|<key*|z
+    var>>|<cell|>|<cell|<math|\<nu\>>>|<cell|<key*|n
+    var>>|<cell|>|<cell|<math|\<varsigma\>>>|<cell|<key*|s var
+    var>>|<cell|>|<cell|>|<cell|>>|<row|<cell|>|<cell|<markup|\\zeta>>|<cell|>|<cell|>|<cell|<markup|nu>>|<cell|>|<cell|>|<cell|<markup|varsigma>>|<cell|>|<cell|>|<cell|>>|<row|<cell|<math|\<eta\>>>|<cell|<key*|h
+    var>>|<cell|>|<cell|<math|\<xi\>>>|<cell|<key*|x
+    var>>|<cell|>|<cell|<math|\<tau\>>>|<cell|<key*|t
+    var>>|<cell|>|<cell|>|<cell|>>|<row|<cell|>|<cell|<markup|\\eta>>|<cell|>|<cell|>|<cell|<markup|xi>>|<cell|>|<cell|>|<cell|<markup|tau>>|<cell|>|<cell|>|<cell|>>|<row|<cell|>|<cell|>|<cell|>|<cell|>|<cell|>|<cell|>|<cell|>|<cell|>|<cell|>|<cell|>|<cell|>>|<row|<cell|>|<cell|>|<cell|>|<cell|>|<cell|>|<cell|>|<cell|>|<cell|>|<cell|>|<cell|>|<cell|>>|<row|<cell|<math|\<Gamma\>>>|<cell|<key|g
+    Tab>>|<cell|>|<cell|<math|\<Lambda\>>>|<cell|<key|l
+    Tab>>|<cell|>|<cell|<math|\<Sigma\>>>|<cell|<key|s
+    Tab>>|<cell|>|<cell|<math|\<Psi\>>>|<cell|<key|y
+    Tab>>>|<row|<cell|>|<cell|<markup|\\Gamma>>|<cell|>|<cell|>|<cell|<markup|\\Lambda>>|<cell|>|<cell|>|<cell|<markup|\\Sigma>>|<cell|>|<cell|>|<cell|<markup|\\Psi>>>|<row|<cell|<math|\<Delta\>>>|<cell|<key|d
+    Tab>>|<cell|>|<cell|<math|\<Xi\>>>|<cell|<key|x
+    Tab>>|<cell|>|<cell|<math|\<Upsilon\>>>|<cell|<key|u
+    Tab>>|<cell|>|<cell|<math|\<Omega\>>>|<cell|<key|w
+    Tab>>>|<row|<cell|>|<cell|<markup|\\Delta>>|<cell|>|<cell|>|<cell|<markup|\\Xi>>|<cell|>|<cell|>|<cell|<markup|\\Upsilon>>|<cell|>|<cell|>|<cell|<markup|\\Omega>>>|<row|<cell|<math|\<Theta\>>>|<cell|<key|j
+    Tab>>|<cell|>|<cell|<math|\<Pi\>>>|<cell|<key|p
+    Tab>>|<cell|>|<cell|<math|\<Phi\>>>|<cell|<key|f
+    Tab>>|<cell|>|<cell|>|<cell|>>|<row|<cell|>|<cell|<markup|\\Theta>>|<cell|>|<cell|>|<cell|<markup|\\Pi>>|<cell|>|<cell|>|<cell|<markup|\\Phi>>|<cell|>|<cell|>|<cell|>>>>>
+  <|big-table>
     Greek Letters
   </big-table>
 
-  <\big-table|<tabular|<tformat|<table|<row|<cell|<math|\<pm\>>>|<cell|<verbatim|\\pm>>|<cell|<key|+->>|<cell|>|<cell|<math|\<cap\>>>|<cell|<verbatim|\\cap>>|<cell|<key|&
-  Tab>>|<cell|<math|>>|<cell|<math|\<diamond\>>>|<cell|<verbatim|\\diamond>>|<cell|>>|<row|<cell|<math|\<oplus\>>>|<cell|<verbatim|\\oplus>>|<cell|<key|@
-  +>>|<cell|>|<cell|<math|\<mp\>>>|<cell|<verbatim|\\mp>>|<cell|<key|-+>>|<cell|>|<cell|<math|>>|<cell|>|<cell|>>>>>>
+  <\big-table|<tabular|<tformat|<table|<row|<cell|<math|\<amalg\>>>|<cell|<key|%><key|var><key|var><key|var>>|<cell|>|<cell|<math|\<cup\>>>|<cell|<key|%
+  var>>|<cell|>|<cell|<math|\<oplus\>>>|<cell|<key|@><key|+>>|<cell|>|<cell|<math|\<times\>>>|<cell|<key|*
+  tab>>|<cell|>>|<row|<cell|>|<cell|<markup|\\amalg>>|<cell|>|<cell|>|<cell|<markup|\\cup>>|<cell|>|<cell|>|<cell|<markup|\\oplus>>|<cell|>|<cell|>|<cell|<markup|\\times>>|<cell|>>|<row|<cell|<math|\<ast\>>>|<cell|<key|*
+  var var>>|<cell|>|<cell|<math|\<dagger\>>>|<cell|<key|+ var
+  var>>|<cell|>|<cell|<math|\<oslash\>>>|<cell|<compound|markup|><key|@ /
+  var>>|<cell|>|<cell|<math|\<triangleleft\>>>|<cell|>|<cell|>>|<row|<cell|>|<cell|<markup|\\ast>>|<cell|>|<cell|>|<cell|<math|><markup|\\dagger>>|<cell|>|<cell|>|<cell|<markup|\\oslash>>|<cell|>|<cell|>|<cell|<markup|\\triangleleft>>|<cell|>>|<row|<cell|<math|\<bigcirc\>>>|<cell|>|<cell|>|<cell|<math|\<ddagger\>>>|<cell|<key|+
+  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 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 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|&
+  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|*
+  var var var>>|<cell|>|<cell|<math|\<odot\>>>|<cell|<key|@
+  .><math|>>|<cell|>|<cell|<math|\<sqcup\>>>|<cell|<key|% var
+  var>>|<cell|>|<cell|<math|\<wedge\>>>|<cell|<key|&>>|<cell|>>|<row|<cell|>|<cell|<markup|\\cdot>>|<cell|>|<cell|>|<cell|<markup|\\odot>>|<cell|>|<cell|>|<cell|<markup|\\sqcup>>|<cell|>|<cell|>|<cell|<markup|\\wedge>>|<cell|>>|<row|<cell|<math|\<circ\>>>|<cell|<key|@>>|<cell|>|<cell|<math|\<ominus\>>>|<cell|<key|@
+  ->>|<cell|>|<cell|<math|\<star\>>>|<cell|<key|*><key|Shift+Tab>>|<cell|>|<cell|<math|\<wr\>>>|<cell|>|<cell|>>|<row|<cell|<markup|>>|<cell|<markup|\\circ>>|<cell|>|<cell|>|<cell|<markup|\\ominus>>|<cell|>|<cell|>|<cell|<markup|\\star>>|<cell|>|<cell|>|<cell|<markup|\\wr>>|<cell|>>>>>>
     Binary Operation Symbols
   </big-table>
 </body>
@@ -66,7 +89,7 @@
   <\collection>
     <associate|auto-1|<tuple|1|1>>
     <associate|auto-2|<tuple|2|1>>
-    <associate|auto-3|<tuple|3|?>>
+    <associate|auto-3|<tuple|2|?>>
   </collection>
 </references>
 
@@ -74,11 +97,11 @@
   <\collection>
     <\associate|table>
       <tuple|normal|<\surround|<hidden-binding|<tuple>|1>|>
-        <with|font-base-size|<quote|9>|>Greek Letters
+        Greek Letters
       </surround>|<pageref|auto-1>>
 
       <tuple|normal|<\surround|<hidden-binding|<tuple>|2>|>
-        \;
+        Binary Operation Symbols
       </surround>|<pageref|auto-2>>
     </associate>
   </collection>