From 3785fff5bc83f45e93f1489014fe1528d3286e41 Mon Sep 17 00:00:00 2001
From: Yiqi Xu <32867606+YiqiXu@users.noreply.github.com>
Date: Thu, 7 Jul 2022 16:07:20 +0200
Subject: [PATCH] Update BinaryOperators.tm (#4)

add some TeXmacs-style shortcuts
---
 LaTeX/BinaryOperators.tm | 24 +++++++++++++++---------
 1 file changed, 15 insertions(+), 9 deletions(-)

diff --git a/LaTeX/BinaryOperators.tm b/LaTeX/BinaryOperators.tm
index b61909b..7a44508 100644
--- a/LaTeX/BinaryOperators.tm
+++ b/LaTeX/BinaryOperators.tm
@@ -1,4 +1,4 @@
-<TeXmacs|2.1.2>
+<TeXmacs|2.1.1>
 
 <style|<tuple|beamer|chinese|doc>>
 
@@ -6,19 +6,25 @@
   <screens|<\shown>
     <tit|Binary Operators>
 
+    \;
+
     <\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|>|<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|>|<cell|>|<cell|<math|\<otimes\>>>|<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|>|<cell|>|<cell|<math|\<vartriangleleft\>>>|<cell|<key|\<less\>
-    \| var>>|<cell|>|<cell|<math|\<setminus\>>>|<cell|>|<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|&
+    \<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|*
@@ -26,7 +32,7 @@
     .><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|>>>>>>
-      \<#4E8C\>\<#5143\>\<#64CD\>\<#4F5C\>\<#7B26\>
+      \<#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*>
   </shown>>
 </body>
@@ -39,7 +45,7 @@
 
 <\references>
   <\collection>
-    <associate|auto-1|<tuple|?|1>>
+    <associate|auto-1|<tuple|?|1|http://git.tmml.wiki/XmacsLabs/planet/raw/main/LaTeX/BinaryOperators.tm>>
   </collection>
 </references>
 
@@ -47,7 +53,7 @@
   <\collection>
     <\associate|table>
       <\tuple|normal>
-        \<#4E8C\>\<#5143\>\<#64CD\>\<#4F5C\>\<#7B26\>
+        \<#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>