From 3d43502d229efd21fa43837bd4f259a1cff28f86 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: Thu, 17 Nov 2022 22:25:19 +0800
Subject: [PATCH] LaTeX: math symbols table 3 45m

---
 LaTeX/{MathSymbolsList.tm => MathSymbols.tm} | 45 ++++++++++++++++++++
 LaTeX/index.tm                               | 29 ++++++++++---
 2 files changed, 69 insertions(+), 5 deletions(-)
 rename LaTeX/{MathSymbolsList.tm => MathSymbols.tm} (64%)

diff --git a/LaTeX/MathSymbolsList.tm b/LaTeX/MathSymbols.tm
similarity index 64%
rename from LaTeX/MathSymbolsList.tm
rename to LaTeX/MathSymbols.tm
index 3860f73..04c5678 100644
--- a/LaTeX/MathSymbolsList.tm
+++ b/LaTeX/MathSymbols.tm
@@ -78,6 +78,44 @@
   ->>|<cell|>|<cell|<math|\<star\>>>|<cell|<key|*><key|S-var>>|<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>
+
+  <\big-table|<tabular|<tformat|<table|<row|<cell|<math|\<leqslant\>>>|<cell|<key|\<less\>
+  =>>|<cell|>|<cell|<math|\<geqslant\>>>|<cell|<key|\<gtr\> =
+  >>|<cell|>|<cell|<math|\<equiv\>>>|<cell|<key|= var
+  var>>|<cell|>|<cell|<math|\<models\>>>|<cell|<key|\| var
+  =>>|<cell|>>|<row|<cell|>|<cell|<markup|\\leq>>|<cell|>|<cell|>|<cell|<markup|\\geq>>|<cell|>|<cell|>|<cell|<markup|\\equiv>>|<cell|>|<cell|>|<cell|<markup|\\models>>|<cell|>>|<row|<cell|<math|\<prec\>>>|<cell|<key|\<less\>
+  var var var>>|<cell|>|<cell|<math|\<succ\>>>|<cell|<key|\<gtr\> var var
+  var>>|<cell|>|<cell|<math|\<sim\>>>|<cell|<key|~>>|<cell|>|<cell|<math|\<perp\>>>|<cell|<key|T
+  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\>
+  \<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\>
+  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 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\>
+  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\>
+  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>>|<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|\<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
+  </big-table>
+
+  <\big-table|<tabular|<tformat|<table|<row|<cell|>>>>>>
+    Punctuation Symbols
+  </big-table>
+
+  <\big-table|<tabular|<tformat|<table|<row|<cell|>>>>>>
+    Arrow Symbols
+  </big-table>
 </body>
 
 <\initial>
@@ -90,6 +128,9 @@
   <\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|?>>
   </collection>
 </references>
 
@@ -103,6 +144,10 @@
       <tuple|normal|<\surround|<hidden-binding|<tuple>|2>|>
         Binary Operation Symbols
       </surround>|<pageref|auto-2>>
+
+      <tuple|normal|<\surround|<hidden-binding|<tuple>|3>|>
+        Relation Symbols
+      </surround>|<pageref|auto-3>>
     </associate>
   </collection>
 </auxiliary>
\ No newline at end of file
diff --git a/LaTeX/index.tm b/LaTeX/index.tm
index 7558f92..1ba02e1 100644
--- a/LaTeX/index.tm
+++ b/LaTeX/index.tm
@@ -1,4 +1,4 @@
-<TeXmacs|2.1.3>
+<TeXmacs|2.1.2>
 
 <style|<tuple|generic|chinese|doc>>
 
@@ -11,6 +11,16 @@
 
   <doc-data|<doc-title|<LaTeX>符号大全>>
 
+  <section*|<LaTeX>数学符号一览>
+
+  下面这份文件中罗列了<LaTeX>的数学符号以及这些数学符号在<TeXmacs>中的对应快捷键
+
+  <\itemize>
+    <item><gitlink|MathSymbols>
+  </itemize>
+
+  <section*|<LaTeX>符号大全>
+
   <LaTeX>符号大全是<LaTeX>项目中的一份罗列了绝大部分<LaTeX>符号的文档，其主页和最新版本PDF为：
 
   <\itemize>
@@ -38,7 +48,9 @@
     <item><slink|$TEXMACS_PATH/progs/math/math-kbd.scm>
   </itemize>
 
-  <section*|符号列表>
+  \;
+
+  <subsection*|符号列表>
 
   <\itemize>
     <item><gitlink|BinaryOperators>
@@ -57,8 +69,12 @@
 
 <\references>
   <\collection>
-    <associate|auto-1|<tuple|1|1>>
-    <associate|auto-2|<tuple|<with|mode|<quote|math>|\<bullet\>>|?>>
+    <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>
@@ -66,10 +82,13 @@
 
 <\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-1><vspace|0.5fn>
+      <no-break><pageref|auto-2><vspace|0.5fn>
     </associate>
   </collection>
 </auxiliary>
\ No newline at end of file