From d14a6a93ac95bbeac360119a2bf9ded71a54a797 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, 16 Jul 2022 22:33:37 +0800
Subject: [PATCH] LaTeX: update AMS/Stix BinaryOperators by YiqiXu

---
 LaTeX/AMSBinaryOperators.tm  | 27 +++++++++++++++++++++++++--
 LaTeX/StixBinaryOperators.tm | 13 +++++++++++--
 2 files changed, 36 insertions(+), 4 deletions(-)

diff --git a/LaTeX/AMSBinaryOperators.tm b/LaTeX/AMSBinaryOperators.tm
index 3e93d80..7043103 100644
--- a/LaTeX/AMSBinaryOperators.tm
+++ b/LaTeX/AMSBinaryOperators.tm
@@ -7,7 +7,27 @@
     <tit|AMS Binary Operator>
 
     <\big-table*|<tabular*|<tformat|<twith|table-width|1par>|<twith|table-hmode|exact>|<cwith|1|-1|1|-1|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|>|<cell|>>|<row|<cell|>|<cell|<markup|\\barwedge>>|<cell|>|<cell|>|<cell|<markup|\\circledcirc>>|<cell|>|<cell|>|<cell|<markup|\\intercal>>|<cell|>>|<row|<cell|\<boxdot\>>|<cell|>|<cell|>|<cell|\<circleddash\>>|<cell|>|<cell|>|<cell|\<leftthreetimes\>>|<cell|>|<cell|>>|<row|<cell|>|<cell|<markup|\\boxdot>>|<cell|>|<cell|>|<cell|<markup|\\circleddash>>|<cell|>|<cell|>|<cell|<markup|\\leftthreetimes>>|<cell|>>|<row|<cell|\<boxminus\>>|<cell|>|<cell|>|<cell|\<Cup\>>|<cell|>|<cell|>|<cell|\<ltimes\>>|<cell|>|<cell|>>|<row|<cell|>|<cell|<markup|\\boxminus>>|<cell|>|<cell|>|<cell|<markup|\\Cup>>|<cell|>|<cell|>|<cell|<markup|\\ltimes>>|<cell|>>|<row|<cell|\<boxplus\>>|<cell|>|<cell|>|<cell|\<curlyvee\>>|<cell|>|<cell|>|<cell|\<rightthreetimes\>>|<cell|>|<cell|>>|<row|<cell|>|<cell|<markup|\\boxplus>>|<cell|>|<cell|>|<cell|<markup|\\curlyvee>>|<cell|>|<cell|>|<cell|<markup|\\rightthreetimes>>|<cell|>>|<row|<cell|\<boxtimes\>>|<cell|>|<cell|>|<cell|\<curlywedge\>>|<cell|>|<cell|>|<cell|\<rtimes\>>|<cell|>|<cell|>>|<row|<cell|>|<cell|<markup|\\boxtimes>>|<cell|>|<cell|>|<cell|<markup|\\curlywedge>>|<cell|>|<cell|>|<cell|<markup|\\rtimes>>|<cell|>>|<row|<cell|\<Cap\>>|<cell|>|<cell|>|<cell|\<divideontimes\>>|<cell|>|<cell|>|<cell|\<smallsetminus\>>|<cell|>|<cell|>>|<row|<cell|>|<cell|<markup|\\Cap>>|<cell|>|<cell|>|<cell|<markup|\\divideontimes>>|<cell|>|<cell|>|<cell|<markup|\\smallsetminus>>|<cell|>>|<row|<cell|\<centerdot\>>|<cell|>|<cell|>|<cell|\<dotplus\>>|<cell|>|<cell|>|<cell|\<veebar\>>|<cell|>|<cell|>>|<row|<cell|>|<cell|<markup|\\centerdot>>|<cell|>|<cell|>|<cell|<markup|\\dotplus>>|<cell|>|<cell|>|<cell|<markup|\\veebar>>|<cell|>>|<row|<cell|\<circledast\>>|<cell|>|<cell|>|<cell|\<doublebarwedge\>>|<cell|>|<cell|>|<cell|>|<cell|>|<cell|>>|<row|<cell|>|<cell|<markup|\\circledast>>|<cell|>|<cell|>|<cell|<markup|\\doublebarwedge>>|<cell|>|<cell|>|<cell|>|<cell|>>>>>>
+    &>>|<cell|>|<cell|\<circledcirc\>>|<cell|>|<cell|>|<cell|\<intercal\>>|<cell|<todo|<key|T
+    tab tab tab tab tab tab tab tab>>>|<cell|>>|<row|<cell|>|<cell|<markup|\\barwedge>>|<cell|>|<cell|>|<cell|<markup|\\circledcirc>>|<cell|>|<cell|>|<cell|<markup|\\intercal>>|<cell|>>|<row|<cell|\<boxdot\>>|<cell|<key|@
+    tab .>>|<cell|>|<cell|\<circleddash\>>|<cell|<todo|<key|@ - tab
+    tab>>>|<cell|>|<cell|\<leftthreetimes\>>|<cell|<key|T tab tab tab
+    tab>>|<cell|>>|<row|<cell|>|<cell|<markup|\\boxdot>>|<cell|>|<cell|>|<cell|<markup|\\circleddash>>|<cell|>|<cell|>|<cell|<markup|\\leftthreetimes>>|<cell|>>|<row|<cell|\<boxminus\>>|<cell|<math|><key|@
+    tab ->>|<cell|>|<cell|\<Cup\>>|<cell|<todo|<key|% tab
+    %>>>|<cell|>|<cell|\<ltimes\>>|<cell|<key|\| tab
+    *>>|<cell|>>|<row|<cell|>|<cell|<markup|\\boxminus>>|<cell|>|<cell|>|<cell|<markup|\\Cup>>|<cell|>|<cell|>|<cell|<markup|\\ltimes>>|<cell|>>|<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>>|<cell|>>|<row|<cell|>|<cell|<markup|\\boxplus>>|<cell|>|<cell|>|<cell|<markup|\\curlyvee>>|<cell|>|<cell|>|<cell|<markup|\\rightthreetimes>>|<cell|>>|<row|<cell|\<boxtimes\>>|<cell|<key|@
+    tab *>>|<cell|>|<cell|\<curlywedge\>>|<cell|<key|& tab tab tab
+    tab>>|<cell|>|<cell|\<rtimes\>>|<cell|<key|* tab
+    \|>>|<cell|>>|<row|<cell|>|<cell|<markup|\\boxtimes>>|<cell|>|<cell|>|<cell|<markup|\\curlywedge>>|<cell|>|<cell|>|<cell|<markup|\\rtimes>>|<cell|>>|<row|<cell|\<Cap\>>|<cell|<math|><todo|<key|&
+    tab &>>>|<cell|>|<cell|\<divideontimes\>>|<cell|<math|*><todo|<key|/ tab
+    tab *>>>|<cell|>|<cell|\<smallsetminus\>>|<cell|>|<cell|>>|<row|<cell|>|<cell|<markup|\\Cap>>|<cell|>|<cell|>|<cell|<markup|\\divideontimes>>|<cell|>|<cell|>|<cell|<markup|\\smallsetminus>>|<cell|>>|<row|<cell|\<centerdot\>>|<cell|<math|\<nosymbol\><todo|<key|.
+    tab \ tab tab tab>>>>|<cell|>|<cell|\<dotplus\>>|<cell|<key|.
+    +>>|<cell|>|<cell|\<veebar\>>|<cell|<key|%
+    ->>|<cell|>>|<row|<cell|>|<cell|<markup|\\centerdot>>|<cell|>|<cell|>|<cell|<markup|\\dotplus>>|<cell|>|<cell|>|<cell|<markup|\\veebar>>|<cell|>>|<row|<cell|\<circledast\>>|<cell|<key|@
+    * tab>>|<cell|>|<cell|\<doublebarwedge\>>|<cell|<math|><todo|<key|=
+    &>>>|<cell|>|<cell|>|<cell|>|<cell|>>|<row|<cell|>|<cell|<markup|\\circledast>>|<cell|>|<cell|>|<cell|<markup|\\doublebarwedge>>|<cell|>|<cell|>|<cell|>|<cell|>>>>>>
       AMS\<#4E8C\>\<#5143\>\<#64CD\>\<#4F5C\>\<#7B26\>\<#FF08\>\<#6CE8\>\<#610F\>\<#FF1A\>\<#4EE5\>\<#4E0B\>\<#5FEB\>\<#6377\>\<#952E\>\<#4EC5\>\<#9002\>\<#7528\>\<#4E8E\>\<#6570\>\<#5B66\>\<#6A21\>\<#5F0F\>\<#FF09\>
     </big-table*>
 
@@ -17,6 +37,9 @@
 
 <\initial>
   <\collection>
+    <associate|font|roman>
+    <associate|font-family|rm>
+    <associate|math-font|roman>
     <associate|page-medium|paper>
   </collection>
 </initial>
@@ -31,7 +54,7 @@
   <\collection>
     <\associate|table>
       <\tuple|normal>
-        \<#4E8C\>\<#5143\>\<#64CD\>\<#4F5C\>\<#7B26\>\<#FF08\>\<#6CE8\>\<#610F\>\<#FF1A\>\<#4EE5\>\<#4E0B\>\<#5FEB\>\<#6377\>\<#952E\>\<#4EC5\>\<#9002\>\<#7528\>\<#4E8E\>\<#6570\>\<#5B66\>\<#6A21\>\<#5F0F\>\<#FF09\>
+        AMS\<#4E8C\>\<#5143\>\<#64CD\>\<#4F5C\>\<#7B26\>\<#FF08\>\<#6CE8\>\<#610F\>\<#FF1A\>\<#4EE5\>\<#4E0B\>\<#5FEB\>\<#6377\>\<#952E\>\<#4EC5\>\<#9002\>\<#7528\>\<#4E8E\>\<#6570\>\<#5B66\>\<#6A21\>\<#5F0F\>\<#FF09\>
       </tuple|<pageref|auto-1>>
     </associate>
   </collection>
diff --git a/LaTeX/StixBinaryOperators.tm b/LaTeX/StixBinaryOperators.tm
index a2c9a5f..7b77fa2 100644
--- a/LaTeX/StixBinaryOperators.tm
+++ b/LaTeX/StixBinaryOperators.tm
@@ -6,7 +6,13 @@
   <screens|<\shown>
     <tit|Stix Binary Operators>
 
-    <\big-table*|<tabular*|<tformat|<twith|table-width|1par>|<twith|table-hmode|exact>|<cwith|1|-1|1|-1|cell-halign|l>|<table|<row|<cell|\<amalg\>>|<cell|>|<cell|>|<cell|>|<cell|>|<cell|>|<cell|\<sqcup\>>|<cell|>|<cell|>>|<row|<cell|>|<cell|<markup|\\amalg>>|<cell|>|<cell|<todo|\\fcmp>>|<cell|>|<cell|>|<cell|>|<cell|<markup|\\sqcup>>|<cell|>>|<row|<cell|\<ast\>>|<cell|>|<cell|>|<cell|>|<cell|>|<cell|>|<cell|>|<cell|>|<cell|>>|<row|<cell|>|<cell|<markup|\\ast>>|<cell|>|<cell|<todo|\\fracslash>>|<cell|>|<cell|>|<cell|>|<cell|<todo|\\Sqcup><compound|markup|>>|<cell|>>|<row|<cell|>|<cell|>|<cell|\<intercal\>>|<cell|>|<cell|>|<cell|>|<cell|>|<cell|>|<cell|>>|<row|<cell|>|<cell|<todo|\\barcap><compound|markup|>>|<cell|>|<cell|<markup|\\intercal>>|<cell|>|<cell|>|<cell|>|<cell|<todo|\\sslash>>|<cell|>>|<row|<cell|>|<cell|>|<cell|>|<cell|>|<cell|>|<cell|>|<cell|<math|\<vdots\>>>|<cell|>|<cell|>>|<row|<cell|>|<cell|<todo|\\barcup>>|<cell|>|<cell|<todo|\\interleave>>|<cell|>|<cell|>|<cell|>|<cell|<todo|\\threedotcolon>>|<cell|>>|<row|<cell|>|<cell|>|<cell|>|<cell|>|<cell|>|<cell|>|<cell|\<times\>>|<cell|>|<cell|>>|<row|<cell|>|<cell|<todo|\\barvee>>|<cell|>|<cell|<todo|\\intprod>>|<cell|>|<cell|>|<cell|>|<cell|<markup|\\times>>|<cell|>>>>>>
+    <\big-table*|<tabular*|<tformat|<twith|table-width|1par>|<twith|table-hmode|exact>|<cwith|1|-1|1|-1|cell-halign|l>|<cwith|10|10|9|9|font-family|sans>|<cwith|1|-1|1|-1|font|Stix>|<table|<row|<cell|\<amalg\>>|<cell|<key|%
+    tab tab tab>>|<cell|>|<cell|>|<cell|>|<cell|>|<cell|\<sqcup\>>|<cell|<key|%
+    tab tab>>|<cell|>>|<row|<cell|>|<cell|<markup|\\amalg>>|<cell|>|<cell|<todo|\\fcmp>>|<cell|>|<cell|>|<cell|>|<cell|<markup|\\sqcup>>|<cell|>>|<row|<cell|\<ast\>>|<cell|<key|*
+    tab tab>>|<cell|>|<cell|>|<cell|>|<cell|>|<cell|>|<cell|>|<cell|>>|<row|<cell|>|<cell|<markup|\\ast>>|<cell|>|<cell|<todo|\\fracslash>>|<cell|>|<cell|>|<cell|>|<cell|<todo|\\Sqcup><compound|markup|>>|<cell|>>|<row|<cell|<math|>>|<cell|>|<cell|\<intercal\>>|<cell|>|<cell|>|<cell|>|<cell|>|<cell|>|<cell|>>|<row|<cell|>|<cell|<todo|\\barcap><compound|markup|>>|<cell|>|<cell|<markup|\\intercal>>|<cell|>|<cell|>|<cell|>|<cell|<todo|\\sslash>>|<cell|>>|<row|<cell|>|<cell|>|<cell|>|<cell|>|<cell|>|<cell|>|<cell|<math|\<vdots\>>>|<cell|<key|.
+    . tab tab tab>>|<cell|>>|<row|<cell|>|<cell|<todo|\\barcup>>|<cell|>|<cell|<todo|\\interleave>>|<cell|>|<cell|>|<cell|>|<cell|<todo|\\threedotcolon>>|<cell|>>|<row|<cell|>|<cell|>|<cell|>|<cell|>|<cell|>|<cell|>|<cell|\<times\>>|<cell|<key|*
+    tab>>|<cell|>>|<row|<cell|>|<cell|<todo|\\barvee>>|<cell|>|<cell|<todo|\\intprod>>|<cell|>|<cell|>|<cell|>|<cell|<markup|\\times>>|<cell|>>|<row|<cell|<math|\<barwedge\>>>|<cell|<key|-
+    &>>|<cell|>|<cell|>|<cell|>|<cell|>|<cell|>|<cell|>|<cell|>>|<row|<cell|>|<cell|<markup|\\barwedge>>|<cell|>|<cell|<todo|\\intprodr>>|<cell|>|<cell|>|<cell|>|<cell|<todo|\\timesbar>>|<cell|>>|<row|<cell|>|<cell|>|<cell|>|<cell|>|<cell|>|<cell|>|<cell|>|<cell|>|<cell|>>|<row|<cell|>|<cell|<todo|\\bigslopedvee>>|<cell|>|<cell|>|<cell|>|<cell|>|<cell|>|<cell|>|<cell|>>>>>>
       Stix\<#4E8C\>\<#5143\>\<#64CD\>\<#4F5C\>\<#7B26\>\<#FF08\>\<#6CE8\>\<#610F\>\<#FF1A\>\<#4EE5\>\<#4E0B\>\<#5FEB\>\<#6377\>\<#952E\>\<#4EC5\>\<#9002\>\<#7528\>\<#4E8E\>\<#6570\>\<#5B66\>\<#6A21\>\<#5F0F\>\<#FF09\>
     </big-table*>
 
@@ -16,13 +22,16 @@
 
 <\initial>
   <\collection>
+    <associate|font|stix>
+    <associate|font-family|rm>
+    <associate|math-font|math-stix>
     <associate|page-medium|paper>
   </collection>
 </initial>
 
 <\references>
   <\collection>
-    <associate|auto-1|<tuple|?|1|http://git.tmml.wiki/XmacsLabs/planet/raw/main/LaTeX/AMSBinaryOperators.tm>>
+    <associate|auto-1|<tuple|?|1>>
   </collection>
 </references>