From b1f75a05d881fd291c90107487d0ab0c6146e44b 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: Sat, 19 Nov 2022 22:30:28 +0800
Subject: [PATCH] LaTeX Math Symbols: table 19

---
 LaTeX/MathSymbols.tm | 26 +++++++++++++++++++++++---
 1 file changed, 23 insertions(+), 3 deletions(-)

diff --git a/LaTeX/MathSymbols.tm b/LaTeX/MathSymbols.tm
index 94f82bc..e42979b 100644
--- a/LaTeX/MathSymbols.tm
+++ b/LaTeX/MathSymbols.tm
@@ -338,8 +338,29 @@
     \;
   </big-table>
 
-  <\big-table|<tabular|<tformat|<table|<row|<cell|>>>>>>
-    \;
+  <\big-table|<tabular|<tformat|<cwith|1|16|1|8|cell-halign|l>|<cwith|4|4|2|2|cell-valign|b>|<cwith|5|5|2|2|cell-valign|b>|<cwith|9|12|5|5|cell-halign|l>|<table|<row|<cell|\<barwedge\>>|<cell|<key|-
+  &>>|<cell|>|<cell|\<circledcirc\>>|<cell|>|<cell|>|<cell|\<intercal\>>|<cell|<todo|<key|T
+  tab tab tab tab tab tab tab tab>>>>|<row|<cell|>|<cell|<markup|\\barwedge>>|<cell|>|<cell|>|<cell|<markup|\\circledcirc>>|<cell|>|<cell|>|<cell|<markup|\\intercal>>>|<row|<cell|\<boxdot\>>|<cell|<key|@
+  tab .>>|<cell|>|<cell|\<circleddash\>>|<cell|<todo|<key|@ - tab
+  tab>>>|<cell|>|<cell|\<leftthreetimes\>>|<cell|<key|T tab tab tab
+  tab>>>|<row|<cell|>|<cell|<markup|\\boxdot>>|<cell|>|<cell|>|<cell|<markup|\\circleddash>>|<cell|>|<cell|>|<cell|<markup|\\leftthreetimes>>>|<row|<cell|\<boxminus\>>|<cell|<math|><key|@
+  tab ->>|<cell|>|<cell|\<Cup\>>|<cell|<todo|<key|% tab
+  %>>>|<cell|>|<cell|\<ltimes\>>|<cell|<key|\| tab
+  *>>>|<row|<cell|>|<cell|<markup|\\boxminus>>|<cell|>|<cell|>|<cell|<markup|\\Cup>>|<cell|>|<cell|>|<cell|<markup|\\ltimes>>>|<row|<cell|\<boxplus\>>|<cell|<key|@
+  tab +>>|<cell|>|<cell|\<curlyvee\>>|<cell|<key|% tab tab tab
+  tab>>|<cell|>|<cell|\<rightthreetimes\>>|<cell|<key|T tab tab tab tab
+  tab>>>|<row|<cell|>|<cell|<markup|\\boxplus>>|<cell|>|<cell|>|<cell|<markup|\\curlyvee>>|<cell|>|<cell|>|<cell|<markup|\\rightthreetimes>>>|<row|<cell|\<boxtimes\>>|<cell|<key|@
+  tab *>>|<cell|>|<cell|\<curlywedge\>>|<cell|<key|& tab tab tab
+  tab>>|<cell|>|<cell|\<rtimes\>>|<cell|<key|* tab
+  \|>>>|<row|<cell|>|<cell|<markup|\\boxtimes>>|<cell|>|<cell|>|<cell|<markup|\\curlywedge>>|<cell|>|<cell|>|<cell|<markup|\\rtimes>>>|<row|<cell|\<Cap\>>|<cell|<math|><todo|<key|&
+  tab &>>>|<cell|>|<cell|\<divideontimes\>>|<cell|<math|*><todo|<key|/ tab
+  tab *>>>|<cell|>|<cell|\<smallsetminus\>>|<cell|>>|<row|<cell|>|<cell|<markup|\\Cap>>|<cell|>|<cell|>|<cell|<markup|\\divideontimes>>|<cell|>|<cell|>|<cell|<markup|\\smallsetminus>>>|<row|<cell|\<centerdot\>>|<cell|<math|\<nosymbol\><todo|<key|.
+  tab \ tab tab tab>>>>|<cell|>|<cell|\<dotplus\>>|<cell|<key|.
+  +>>|<cell|>|<cell|\<veebar\>>|<cell|<key|%
+  ->>>|<row|<cell|>|<cell|<markup|\\centerdot>>|<cell|>|<cell|>|<cell|<markup|\\dotplus>>|<cell|>|<cell|>|<cell|<markup|\\veebar>>>|<row|<cell|\<circledast\>>|<cell|<key|@
+  * tab>>|<cell|>|<cell|\<doublebarwedge\>>|<cell|<math|><todo|<key|=
+  &>>>|<cell|>|<cell|>|<cell|>>|<row|<cell|>|<cell|<markup|\\circledast>>|<cell|>|<cell|>|<cell|<markup|\\doublebarwedge>>|<cell|>|<cell|>|<cell|>>>>>>
+    AMS Binary Operators
   </big-table>
 
   <\big-table|<tabular|<tformat|<table|<row|<cell|>>>>>>
@@ -426,7 +447,6 @@
     <associate|auto-30|<tuple|27|7>>
     <associate|auto-31|<tuple|28|7>>
     <associate|auto-32|<tuple|29|7>>
-    <associate|auto-33|<tuple|30|?>>
     <associate|auto-4|<tuple|3|3>>
     <associate|auto-5|<tuple|4|3>>
     <associate|auto-6|<tuple|5|3>>