From 231377a23814c39209017e88755a3f889723b2fe 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, 9 Jul 2022 23:25:39 +0800
Subject: [PATCH] =?UTF-8?q?LaTeX:=20=E5=88=A0=E9=99=A4=E5=A4=9A=E4=BD=99?=
 =?UTF-8?q?=E7=9A=84*=20by=20Yiqi=20Xu?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 LaTeX/BinaryOperators.tm | 12 +++++-------
 1 file changed, 5 insertions(+), 7 deletions(-)

diff --git a/LaTeX/BinaryOperators.tm b/LaTeX/BinaryOperators.tm
index 7a44508..01da266 100644
--- a/LaTeX/BinaryOperators.tm
+++ b/LaTeX/BinaryOperators.tm
@@ -1,4 +1,4 @@
-<TeXmacs|2.1.1>
+<TeXmacs|2.1.2>
 
 <style|<tuple|beamer|chinese|doc>>
 
@@ -6,8 +6,6 @@
   <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|*
@@ -17,14 +15,14 @@
     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>>|<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|@
+    \<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|&
+    +>>|<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|*
@@ -45,7 +43,7 @@
 
 <\references>
   <\collection>
-    <associate|auto-1|<tuple|?|1|http://git.tmml.wiki/XmacsLabs/planet/raw/main/LaTeX/BinaryOperators.tm>>
+    <associate|auto-1|<tuple|?|1>>
   </collection>
 </references>