From 952eec15fced0b05325efc5732dbcfd396305a23 Mon Sep 17 00:00:00 2001
From: Darcy Shen <sadhen@zoho.com>
Date: Sat, 8 Feb 2020 08:50:58 +0000
Subject: [PATCH] Doc(zh): minor improve on man-math

---
 main/math/keyboard/man-big.zh.tm                   | 6 +++---
 main/math/keyboard/man-enter-math.zh.tm            | 6 +++---
 main/math/keyboard/man-large.zh.tm                 | 8 ++++----
 main/math/keyboard/man-main.zh.tm                  | 8 ++++----
 main/math/keyboard/man-symbols.zh.tm               | 8 ++++----
 main/math/keyboard/man-wide.zh.tm                  | 6 +++---
 main/math/man-math.zh.tm                           | 6 +++---
 main/math/semantics/man-customized-semantics.zh.tm | 8 ++++----
 main/math/semantics/man-semantics-symbols.zh.tm    | 6 +++---
 main/math/semantics/man-semantics.zh.tm            | 6 +++---
 main/math/semantics/man-syntax-correction.zh.tm    | 6 +++---
 11 files changed, 37 insertions(+), 37 deletions(-)

diff --git a/main/math/keyboard/man-big.zh.tm b/main/math/keyboard/man-big.zh.tm
index 4c09f16..2b150ea 100644
--- a/main/math/keyboard/man-big.zh.tm
+++ b/main/math/keyboard/man-big.zh.tm
@@ -1,6 +1,6 @@
-<TeXmacs|1.99.2>
+<TeXmacs|1.99.12>
 
-<style|<tuple|tmdoc|chinese>>
+<style|<tuple|tmdoc|chinese|old-spacing|old-dots>>
 
 <\body>
   <tmdoc-title|\<#8F93\>\<#5165\>\<#5927\>\<#578B\>\<#7B97\>\<#7B26\>>
@@ -41,7 +41,7 @@
   I>\<#83B7\>\<#5F97\>\<#3002\>\<#7C7B\>\<#4F3C\>\<#5730\>\<#FF0C\>\<#4F7F\>\<#7528\>\<#5FEB\>\<#6377\>\<#952E\><key|symbol
   L O>\<#53EF\>\<#5F97\>\<#5230\><math|<big|oint>>\<#FF0C\>\<#5176\>\<#4E2D\>\<#4E0A\>\<#4E0B\>\<#6807\>\<#7684\>\<#4F4D\>\<#7F6E\>\<#662F\>\<#7B2C\>\<#4E8C\>\<#79CD\>\<#5F62\>\<#5F0F\>\<#3002\>
 
-  <tmdoc-copyright|1998--2002|Joris van der Hoeven>
+  <tmdoc-copyright|1998\U2020|Joris van der Hoeven|\<#6C88\>\<#8FBE\>>
 
   <tmdoc-license|Permission is granted to copy, distribute and/or modify this
   document under the terms of the GNU Free Documentation License, Version 1.1
diff --git a/main/math/keyboard/man-enter-math.zh.tm b/main/math/keyboard/man-enter-math.zh.tm
index 8bb3b31..abf1ccc 100644
--- a/main/math/keyboard/man-enter-math.zh.tm
+++ b/main/math/keyboard/man-enter-math.zh.tm
@@ -1,6 +1,6 @@
-<TeXmacs|1.99.2>
+<TeXmacs|1.99.12>
 
-<style|<tuple|tmdoc|chinese>>
+<style|<tuple|tmdoc|chinese|old-spacing|old-dots>>
 
 <\body>
   <tmdoc-title|\<#5728\>\<#6587\>\<#6863\>\<#4E2D\>\<#8F93\>\<#5165\>\<#6570\>\<#5B66\>\<#516C\>\<#5F0F\>>
@@ -51,7 +51,7 @@
     \<#5728\>\<#8FD9\>\<#4E2A\>\<#4F8B\>\<#5B50\>\<#4E2D\>\<#FF0C\>\<#5927\>\<#591A\>\<#6570\>\<#884C\>\<#7684\>\<#7B2C\>\<#4E00\>\<#5217\>\<#662F\>\<#7A7A\>\<#7740\>\<#7684\>\<#3002\>
   </description>
 
-  <tmdoc-copyright|1998--2002|Joris van der Hoeven>
+  <tmdoc-copyright|1998\U2020|Joris van der Hoeven|\<#6C88\>\<#8FBE\>>
 
   <tmdoc-license|Permission is granted to copy, distribute and/or modify this
   document under the terms of the GNU Free Documentation License, Version 1.1
diff --git a/main/math/keyboard/man-large.zh.tm b/main/math/keyboard/man-large.zh.tm
index 60eeb26..88bf9ab 100644
--- a/main/math/keyboard/man-large.zh.tm
+++ b/main/math/keyboard/man-large.zh.tm
@@ -1,11 +1,11 @@
-<TeXmacs|1.99.2>
+<TeXmacs|1.99.12>
 
-<style|<tuple|tmdoc|chinese>>
+<style|<tuple|tmdoc|chinese|old-spacing|old-dots>>
 
 <\body>
   <tmdoc-title|\<#8F93\>\<#5165\>\<#5927\>\<#578B\>\<#5206\>\<#9694\>\<#7B26\>>
 
-  \<#6570\>\<#5B66\>\<#516C\>\<#5F0F\>\<#4E2D\>\<#7684\>\<#62EC\>\<#53F7\>\<#5FC5\>\<#987B\>\<#5339\>\<#914D\>\<#FF1A\>\<#5728\>\<#4F60\>\<#8F93\>\<#5165\>``(''\<#65F6\>\<#FF0C\><TeXmacs>\<#4F1A\>\<#81EA\>\<#52A8\>\<#63D2\>\<#5165\>``)''\<#3002\>\<#4F60\>\<#53EF\>\<#4EE5\><menu|Edit|Preferences|Keyboard|Automatic
+  \<#6570\>\<#5B66\>\<#516C\>\<#5F0F\>\<#4E2D\>\<#7684\>\<#62EC\>\<#53F7\>\<#5FC5\>\<#987B\>\<#5339\>\<#914D\>\<#FF1A\>\<#5728\>\<#4F60\>\<#8F93\>\<#5165\>\P(\Q\<#65F6\>\<#FF0C\><TeXmacs>\<#4F1A\>\<#81EA\>\<#52A8\>\<#63D2\>\<#5165\>\P)\Q\<#3002\>\<#4F60\>\<#53EF\>\<#4EE5\><menu|Edit|Preferences|Keyboard|Automatic
   brackets|Disable>\<#7981\>\<#7528\>\<#6B64\>\<#7279\>\<#6027\>\<#3002\>\<#6CE8\>\<#610F\>:
   \<#6587\>\<#6863\>\<#4E2D\>\<#65E7\>\<#6709\>\<#7684\>\<#62EC\>\<#53F7\>\<#53EF\>\<#80FD\>\<#4F1A\>\<#81EA\>\<#52A8\>\<#4E0E\>\<#4F60\>\<#8F93\>\<#5165\>\<#7684\>\<#62EC\>\<#53F7\>\<#5339\>\<#914D\>\<#3002\>
 
@@ -37,7 +37,7 @@
   \<#8FD8\>\<#53EF\>\<#4EE5\>\<#4F7F\>\<#7528\><shortcut|(math-bracket-open
   "." "." #t)>\<#8F93\>\<#5165\>\<#4E00\>\<#5BF9\>\<#4E0D\>\<#53EF\>\<#89C1\>\<#7684\>\<#62EC\>\<#53F7\>\<#3002\>\<#8FD9\>\<#5BF9\>\<#4E8E\>\<#8BA1\>\<#7B97\>\<#6027\>\<#8D28\>\<#7684\>\<#6587\>\<#672C\>\<#975E\>\<#5E38\>\<#6709\>\<#7528\>\<#FF0C\>\<#7279\>\<#522B\>\<#662F\>\<#5728\>\<#516C\>\<#5F0F\>\<#4E0D\>\<#4EC5\>\<#4EC5\>\<#662F\>\<#663E\>\<#793A\>\<#7684\>\<#8BED\>\<#4E49\>\<#FF0C\>\<#8FD8\>\<#8981\>\<#7167\>\<#987E\>\<#5230\>\<#5176\>\<#7CBE\>\<#5EA6\>\<#3002\>\<#8FD8\>\<#53EF\>\<#4EE5\>\<#7528\><shortcut|(make-rigid)>\<#5C06\>\<#516C\>\<#5F0F\>\<#4FDD\>\<#62A4\>\<#5728\>\<#56FA\>\<#5B9A\>\<#6846\>\<#5185\>\<#FF0C\>\<#5373\>\<#9632\>\<#6B62\>\<#516C\>\<#5F0F\>\<#88AB\>\<#8FDE\>\<#5B57\>\<#7B26\>\<#5F3A\>\<#884C\>\<#65AD\>\<#5F00\>\<#3002\>
 
-  <tmdoc-copyright|1998--2010|Joris van der Hoeven>
+  <tmdoc-copyright|1998\U2020|Joris van der Hoeven|\<#6C88\>\<#8FBE\>>
 
   <tmdoc-license|Permission is granted to copy, distribute and/or modify this
   document under the terms of the GNU Free Documentation License, Version 1.1
diff --git a/main/math/keyboard/man-main.zh.tm b/main/math/keyboard/man-main.zh.tm
index 3d8156e..e15cfaf 100644
--- a/main/math/keyboard/man-main.zh.tm
+++ b/main/math/keyboard/man-main.zh.tm
@@ -1,6 +1,6 @@
-<TeXmacs|1.99.2>
+<TeXmacs|1.99.12>
 
-<style|<tuple|tmdoc|chinese>>
+<style|<tuple|tmdoc|chinese|old-spacing|old-dots>>
 
 <\body>
   <tmdoc-title|\<#4E3B\>\<#8981\>\<#7684\>\<#6570\>\<#5B66\>\<#7ED3\>\<#6784\>>
@@ -24,9 +24,9 @@
   l ^>>|<cell|\<#5DE6\>\<#4E0A\>\<#6807\>>|<cell|<math|<lsup|\<pi\>>x> or
   <math|<lsub|\<ast\>><lsup|\<ast\>>He<rsub|\<ast\>><rsup|\<ast\>>>>>>>>|\<#6487\>\<#3001\>\<#4E0A\>\<#4E0B\>\<#6807\>\<#7684\>\<#521B\>\<#5EFA\>>
 
-  \<#53E6\>\<#5916\>\<#4E00\>\<#4E9B\>\<#91CD\>\<#8981\>\<#7684\>\<#6570\>\<#5B66\>\<#7ED3\>\<#6784\>\<#5B9E\>\<#9645\>\<#4E0A\>\<#662F\>\<#5E7F\>\<#4E49\>\<#7684\>\<#8868\>\<#683C\>\<#FF0C\>\<#5982\>\<#77E9\>\<#9635\>\<#3001\>\<#884C\>\<#5217\>\<#5F0F\>\<#7B49\>\<#FF0C\>\<#8BE6\>\<#7EC6\>\<#8BF7\>\<#53C2\>\<#89C1\><hlink|\<#8868\>\<#683C\>\<#7ED3\>\<#6784\>|../../table/man-create-table.en.tm>\<#3002\>
+  \<#53E6\>\<#5916\>\<#4E00\>\<#4E9B\>\<#91CD\>\<#8981\>\<#7684\>\<#6570\>\<#5B66\>\<#7ED3\>\<#6784\>\<#5B9E\>\<#9645\>\<#4E0A\>\<#662F\>\<#5E7F\>\<#4E49\>\<#7684\>\<#8868\>\<#683C\>\<#FF0C\>\<#5982\>\<#77E9\>\<#9635\>\<#3001\>\<#884C\>\<#5217\>\<#5F0F\>\<#7B49\>\<#FF0C\>\<#8BE6\>\<#7EC6\>\<#8BF7\>\<#53C2\>\<#89C1\><hlink|\<#8868\>\<#683C\>\<#7ED3\>\<#6784\>|../../table/man-create-table.zh.tmml>\<#3002\>
 
-  <tmdoc-copyright|1998--2002|Joris van der Hoeven>
+  <tmdoc-copyright|1998\U2002|Joris van der Hoeven|\<#6C88\>\<#8FBE\>>
 
   <tmdoc-license|Permission is granted to copy, distribute and/or modify this
   document under the terms of the GNU Free Documentation License, Version 1.1
diff --git a/main/math/keyboard/man-symbols.zh.tm b/main/math/keyboard/man-symbols.zh.tm
index 6775319..285f211 100644
--- a/main/math/keyboard/man-symbols.zh.tm
+++ b/main/math/keyboard/man-symbols.zh.tm
@@ -1,6 +1,6 @@
-<TeXmacs|1.99.2>
+<TeXmacs|1.99.12>
 
-<style|<tuple|tmdoc|chinese>>
+<style|<tuple|tmdoc|chinese|old-spacing|old-dots>>
 
 <\body>
   <tmdoc-title|\<#8F93\>\<#5165\>\<#6570\>\<#5B66\>\<#7B26\>\<#53F7\>>
@@ -67,9 +67,9 @@
   x>\<#FF0C\>\<#4E24\>\<#8005\>\<#5206\>\<#522B\>\<#662F\>\<#4F7F\>\<#7528\><key|*>
   \<#548C\><key|space>\<#8F93\>\<#5165\>\<#7684\>\<#3002\>
 
-  \<#4E3A\>\<#4E86\>\<#65B9\>\<#4FBF\><TeXmacs>\<#81EA\>\<#52A8\>\<#5904\>\<#7406\>\<#4F60\>\<#7684\>\<#6587\>\<#6863\>\<#4EE5\>\<#65B9\>\<#4FBF\>\<#6570\>\<#5B66\>\<#516C\>\<#5F0F\>\<#7684\>\<#8BED\>\<#6CD5\>\<#68C0\>\<#67E5\>\<#7B49\>\<#FF0C\>\<#6211\>\<#4EEC\>\<#9F13\>\<#52B1\>\<#7528\>\<#6237\>\<#5728\>\<#8F93\>\<#5165\>\<#516C\>\<#5F0F\>\<#65F6\>\<#6CE8\>\<#610F\>\<#5230\>homoglyph\<#7684\>\<#95EE\>\<#9898\>\<#3002\>\<#66F4\>\<#591A\>\<#4FE1\>\<#606F\>\<#FF0C\>\<#53EF\>\<#53C2\>\<#89C1\><hlink|\<#6570\>\<#5B66\>\<#7B26\>\<#53F7\>\<#7684\>\<#8BED\>\<#4E49\>|../semantics/man-semantics-symbols.en.tm>\<#3002\>
+  \<#4E3A\>\<#4E86\>\<#65B9\>\<#4FBF\><TeXmacs>\<#81EA\>\<#52A8\>\<#5904\>\<#7406\>\<#4F60\>\<#7684\>\<#6587\>\<#6863\>\<#4EE5\>\<#65B9\>\<#4FBF\>\<#6570\>\<#5B66\>\<#516C\>\<#5F0F\>\<#7684\>\<#8BED\>\<#6CD5\>\<#68C0\>\<#67E5\>\<#7B49\>\<#FF0C\>\<#6211\>\<#4EEC\>\<#9F13\>\<#52B1\>\<#7528\>\<#6237\>\<#5728\>\<#8F93\>\<#5165\>\<#516C\>\<#5F0F\>\<#65F6\>\<#6CE8\>\<#610F\>\<#5230\>homoglyph\<#7684\>\<#95EE\>\<#9898\>\<#3002\>\<#66F4\>\<#591A\>\<#4FE1\>\<#606F\>\<#FF0C\>\<#53EF\>\<#53C2\>\<#89C1\><hlink|\<#6570\>\<#5B66\>\<#7B26\>\<#53F7\>\<#7684\>\<#8BED\>\<#4E49\>|../semantics/man-semantics-symbols.zh.tm>\<#3002\>
 
-  <tmdoc-copyright|1998--2010|Joris van der Hoeven>
+  <tmdoc-copyright|1998\U2020|Joris van der Hoeven|\<#6C88\>\<#8FBE\>>
 
   <tmdoc-license|Permission is granted to copy, distribute and/or modify this
   document under the terms of the GNU Free Documentation License, Version 1.1
diff --git a/main/math/keyboard/man-wide.zh.tm b/main/math/keyboard/man-wide.zh.tm
index fd32d03..6ae6bbe 100644
--- a/main/math/keyboard/man-wide.zh.tm
+++ b/main/math/keyboard/man-wide.zh.tm
@@ -1,6 +1,6 @@
-<TeXmacs|1.99.2>
+<TeXmacs|1.99.12>
 
-<style|<tuple|tmdoc|english>>
+<style|<tuple|tmdoc|english|old-spacing|old-dots>>
 
 <\body>
   <tmdoc-title|\<#52A0\>\<#5BBD\>\<#7684\>\<#9876\>\<#6807\>>
@@ -24,7 +24,7 @@
   \<#4F7F\>\<#7528\>\<#952E\>\<#524D\>\<#7F00\><prefix|math:under>\<#53EF\>\<#5C06\>\<#76F8\>\<#5E94\>\<#7684\>\<#9876\>\<#6807\>\<#63D2\>\<#5165\>\<#5230\>\<#8868\>\<#8FBE\>\<#5F0F\>\<#4E0B\>\<#9762\>\<#3002\>\<#6BD4\>\<#5982\>\<#FF0C\>\<#5FEB\>\<#6377\>\<#952E\><key|math:under
   B x + y>\<#53EF\>\<#7528\>\<#4E8E\>\<#8F93\>\<#5165\><math|<wide*|x+y|\<bar\>>>\<#3002\>
 
-  <tmdoc-copyright|1998--2002|Joris van der Hoeven>
+  <tmdoc-copyright|1998--2020|Joris van der Hoeven|\<#6C88\>\<#8FBE\>>
 
   <tmdoc-license|Permission is granted to copy, distribute and/or modify this
   document under the terms of the GNU Free Documentation License, Version 1.1
diff --git a/main/math/man-math.zh.tm b/main/math/man-math.zh.tm
index 1eacf38..c411547 100644
--- a/main/math/man-math.zh.tm
+++ b/main/math/man-math.zh.tm
@@ -1,6 +1,6 @@
-<TeXmacs|1.99.7>
+<TeXmacs|1.99.12>
 
-<style|<tuple|tmdoc|chinese|old-spacing>>
+<style|<tuple|tmdoc|chinese|old-spacing|old-dots>>
 
 <\body>
   <tmdoc-title|\<#6570\>\<#5B66\>\<#516C\>\<#5F0F\>>
@@ -32,7 +32,7 @@
     <branch|\<#5B9A\>\<#5236\>\<#6570\>\<#5B66\>\<#8BED\>\<#4E49\>|semantics/man-customized-semantics.zh.tm>
   </traverse>
 
-  <tmdoc-copyright|2018|Darcy Shen>
+  <tmdoc-copyright|2018\U2020|Joris van der Hoeven|\<#6C88\>\<#8FBE\>>
 
   <tmdoc-license|Permission is granted to copy, distribute and/or modify this
   document under the terms of the GNU Free Documentation License, Version 1.1
diff --git a/main/math/semantics/man-customized-semantics.zh.tm b/main/math/semantics/man-customized-semantics.zh.tm
index 2213bc4..3915ed5 100644
--- a/main/math/semantics/man-customized-semantics.zh.tm
+++ b/main/math/semantics/man-customized-semantics.zh.tm
@@ -1,11 +1,11 @@
-<TeXmacs|1.99.2>
+<TeXmacs|1.99.12>
 
-<style|<tuple|tmdoc|chinese>>
+<style|<tuple|tmdoc|chinese|old-spacing|old-dots>>
 
 <\body>
   <tmdoc-title|\<#5B9A\>\<#5236\>\<#6570\>\<#5B66\>\<#8BED\>\<#4E49\>>
 
-  \<#6211\>\<#4EEC\>\<#5DF2\>\<#7ECF\>\<#5C3D\>\<#5176\>\<#6240\>\<#80FD\>\<#FF0C\>\<#652F\>\<#6301\>\<#4E86\>\<#5927\>\<#591A\>\<#6570\>\<#7ECF\>\<#5178\>\<#7684\>\<#6570\>\<#5B66\>\<#7B26\>\<#53F7\>\<#3002\>\<#7136\>\<#800C\>\<#FF0C\>\<#7528\>\<#6237\>\<#6709\>\<#65F6\>\<#5019\>\<#9700\>\<#8981\>\<#81EA\>\<#5B9A\>\<#4E49\>\<#975E\>\<#6807\>\<#51C6\>\<#8BED\>\<#4E49\>\<#7684\>\<#6570\>\<#5B66\>\<#7B26\>\<#53F7\>\<#3002\>\<#800C\>\<#4E14\>\<#FF0C\>\<#67D0\>\<#4E9B\>\<#533A\>\<#57DF\>\<#4E5F\>\<#53EF\>\<#80FD\>\<#9700\>\<#8981\>\<#4E00\>\<#4E9B\>\<#672A\>\<#88AB\>\<#652F\>\<#6301\>\<#7684\>\<#7279\>\<#6B8A\>\<#7B26\>\<#53F7\>\<#3002\>
+  \<#6211\>\<#4EEC\>\<#5DF2\>\<#7ECF\>\<#5C3D\>\<#53EF\>\<#80FD\>\<#5730\>\<#652F\>\<#6301\>\<#4E86\>\<#5927\>\<#591A\>\<#6570\>\<#7ECF\>\<#5178\>\<#7684\>\<#6570\>\<#5B66\>\<#7B26\>\<#53F7\>\<#3002\>\<#7136\>\<#800C\>\<#FF0C\>\<#7528\>\<#6237\>\<#6709\>\<#65F6\>\<#5019\>\<#9700\>\<#8981\>\<#81EA\>\<#5B9A\>\<#4E49\>\<#975E\>\<#6807\>\<#51C6\>\<#8BED\>\<#4E49\>\<#7684\>\<#6570\>\<#5B66\>\<#7B26\>\<#53F7\>\<#3002\>\<#800C\>\<#4E14\>\<#FF0C\>\<#67D0\>\<#4E9B\>\<#533A\>\<#57DF\>\<#4E5F\>\<#53EF\>\<#80FD\>\<#9700\>\<#8981\>\<#4E00\>\<#4E9B\>\<#672A\>\<#88AB\>\<#652F\>\<#6301\>\<#7684\>\<#7279\>\<#6B8A\>\<#7B26\>\<#53F7\>\<#3002\>
 
   <TeXmacs>\<#63D0\>\<#4F9B\>\<#4E86\>\<#4E00\>\<#4E2A\>\<#975E\>\<#5E38\>\<#7B80\>\<#5355\>\<#7684\><markup|syntax>\<#539F\>\<#8BED\>\<#FF0C\>\<#4EE5\>\<#4FBF\>\<#7528\>\<#6237\>\<#624B\>\<#52A8\>\<#8986\>\<#76D6\>\<#516C\>\<#5F0F\>\<#7684\>\<#9ED8\>\<#8BA4\>\<#53E5\>\<#6CD5\>\<#8BED\>\<#4E49\>\<#3002\>\<#5047\>\<#5B9A\>\<#8BED\>\<#4E49\>\<#7F16\>\<#8F91\>\<#529F\>\<#80FD\>\<#5DF2\>\<#7ECF\>\<#5F00\>\<#542F\>\<#FF0C\>\<#5FEB\>\<#6377\>\<#952E\><shortcut|(make
   'syntax)>\<#6216\>\<#83DC\>\<#5355\>\<#9879\><menu|Insert|Semantics|Other>\<#53EF\>\<#63D2\>\<#5165\><markup|syntax>\<#539F\>\<#8BED\>\<#3002\>\<#5B83\>\<#7684\>\<#7B2C\>\<#4E00\>\<#4E2A\>\<#53C2\>\<#6570\>\<#662F\>\<#516C\>\<#5F0F\>\<#5E94\>\<#8BE5\>\<#663E\>\<#793A\>\<#7684\>\<#6A21\>\<#6837\>\<#FF0C\>\<#53C2\>\<#6570\>\<#4E8C\>\<#5219\>\<#662F\>\<#516C\>\<#5F0F\>\<#5185\>\<#5728\>\<#7684\>\<#8BED\>\<#4E49\>\<#3002\>
@@ -41,7 +41,7 @@
   'math-ordinary)>\<#8D4B\>\<#4E0A\>\<#4E00\>\<#4E2A\>\<#666E\>\<#901A\>\<#7B26\>\<#53F7\>\<#7684\>\<#503C\>\<#3002\>\<#7136\>\<#800C\>\<#FF0C\>\<#66F4\>\<#4F18\>\<#7F8E\>\<#7684\>\<#89E3\>\<#51B3\>\<#65B9\>\<#6848\>\<#662F\>\<#FF0C\>\<#53EA\>\<#9009\>\<#4E2D\>\<#5B50\>\<#516C\>\<#5F0F\><math|<math-ordinary|\<udots\>\<ddots\>>>\<#FF0C\>\<#518D\>\<#8D4B\>\<#4E0A\>\<#666E\>\<#901A\>\<#7B26\>\<#53F7\>\<#7684\>\<#503C\>\<#3002\>\<#53E6\>\<#5916\>\<#7684\>\<#4F8B\>\<#5B50\>\<#662F\>\<#65E9\>\<#5148\>\<#63D0\>\<#5230\>\<#7684\>\<#7B26\>\<#53F7\>\<#5E8F\>\<#5217\><math|++-+\<nocomma\>-+>\<#3002\>\<#53EF\>\<#5728\>\<#4E0D\>\<#540C\>\<#7684\>\<#7B26\>\<#53F7\>\<#95F4\>\<#4F7F\>\<#7528\><key|,
   space>\<#5FEB\>\<#6377\>\<#952E\>\<#63D2\>\<#5165\>\<#4E0D\>\<#53EF\>\<#89C1\>\<#7684\>\<#5206\>\<#9694\>\<#7B26\>\<#4F7F\>\<#5F97\>\<#8FD9\>\<#4E2A\>\<#5E8F\>\<#5217\>\<#53EF\>\<#88AB\>\<#6B63\>\<#786E\>\<#7684\>\<#89E3\>\<#91CA\>\<#3002\>
 
-  <tmdoc-copyright|2011|Joris van der Hoeven>
+  <tmdoc-copyright|2011\U2020|Joris van der Hoeven|\<#6C88\>\<#8FBE\>>
 
   <tmdoc-license|Permission is granted to copy, distribute and/or modify this
   document under the terms of the GNU Free Documentation License, Version 1.1
diff --git a/main/math/semantics/man-semantics-symbols.zh.tm b/main/math/semantics/man-semantics-symbols.zh.tm
index 71fc248..eb93700 100644
--- a/main/math/semantics/man-semantics-symbols.zh.tm
+++ b/main/math/semantics/man-semantics-symbols.zh.tm
@@ -1,6 +1,6 @@
-<TeXmacs|1.99.7>
+<TeXmacs|1.99.12>
 
-<style|<tuple|tmdoc|old-spacing|chinese>>
+<style|<tuple|tmdoc|old-spacing|chinese|old-dots>>
 
 <\body>
   <tmdoc-title|\<#6570\>\<#5B66\>\<#7B26\>\<#53F7\>\<#7684\>\<#8BED\>\<#4E49\>>
@@ -53,7 +53,7 @@
   var var>>|<cell|<math|\\>>|<cell|<math|\<bbb-N\><rsup|\<gtr\>>=\<bbb-N\>\<setminus\><around*|{|0|}>>>|<cell|\<#96C6\>\<#5408\>\<#51CF\>\<#6CD5\>>>|<row|<cell|<key|&>>|<cell|<math|\<wedge\>>>|<cell|<math|1=1\<wedge\>2=2>>|<cell|\<#903B\>\<#8F91\>\<#4E0E\>>>|<row|<cell|<key|*
   &>>|<cell|<math|\<exterior\>>>|<cell|<math|\<mathd\>x\<exterior\>\<mathd\>y>>|<cell|\<#6954\>\<#79EF\>>>>>>|<label|homoglyph-table><TeXmacs>\<#652F\>\<#6301\>\<#7684\>\<#540C\>\<#5F62\>\<#5F02\>\<#4E49\>\<#5B57\>\<#7B26\>.>
 
-  <tmdoc-copyright|2018|Alexander Misel>
+  <tmdoc-copyright|2018|Joris van der Hoeven|Alexander Misel>
 
   <tmdoc-license|Permission is granted to copy, distribute and/or modify this
   document under the terms of the GNU Free Documentation License, Version 1.1
diff --git a/main/math/semantics/man-semantics.zh.tm b/main/math/semantics/man-semantics.zh.tm
index d168018..aad19de 100644
--- a/main/math/semantics/man-semantics.zh.tm
+++ b/main/math/semantics/man-semantics.zh.tm
@@ -1,6 +1,6 @@
-<TeXmacs|1.99.7>
+<TeXmacs|1.99.12>
 
-<style|<tuple|tmdoc|chinese|old-spacing>>
+<style|<tuple|tmdoc|chinese|old-spacing|old-dots>>
 
 <\body>
   <tmdoc-title| \<#8BED\>\<#4E49\>\<#7F16\>\<#8F91\>\<#5DE5\>\<#5177\>>
@@ -29,7 +29,7 @@
 
   \<#8BED\>\<#4E49\>\<#7126\>\<#70B9\>\<#7684\>\<#610F\>\<#4E49\>\<#5982\>\<#4E0B\>\<#6240\>\<#8FF0\>\<#FF1A\>\<#9996\>\<#5148\>\<#FF0C\>\<#53E5\>\<#6CD5\>\<#4E0A\>\<#6B63\>\<#786E\>\<#7684\>\<#516C\>\<#5F0F\>\<#663E\>\<#793A\>\<#4E3A\>\<#7EFF\>\<#8272\>\<#FF0C\>\<#9519\>\<#8BEF\>\<#7684\>\<#5219\>\<#4E3A\>\<#7EA2\>\<#8272\>\<#3002\>\<#8FD9\>\<#6837\>\<#60A8\>\<#5C31\>\<#53EF\>\<#4EE5\>\<#5728\>\<#8F93\>\<#5165\>\<#516C\>\<#5F0F\>\<#65F6\>\<#8FC5\>\<#901F\>\<#53D1\>\<#73B0\>\Ptypos\Q\<#3002\>\<#5176\>\<#4E8C\>\<#FF0C\>\<#5982\>\<#679C\>\<#60A8\>\<#5BF9\>\<#67D0\>\<#4E2A\>\<#6570\>\<#5B66\>\<#64CD\>\<#4F5C\>\<#7B26\>\<#6216\>\<#8005\>\<#5173\>\<#7CFB\>\<#7684\>\<#4F18\>\<#5148\>\<#7EA7\>\<#5B58\>\<#5728\>\<#4EFB\>\<#4F55\>\<#7591\>\<#95EE\>\<#FF0C\>\<#4ECE\>\<#8BED\>\<#4E49\>\<#7126\>\<#70B9\>\<#4FBF\>\<#53EF\>\<#4EE5\>\<#770B\>\<#51FA\>\<#7F3A\>\<#7701\>\<#4F18\>\<#5148\>\<#7EA7\>\<#3002\>\<#5177\>\<#4F53\>\<#5730\>\<#FF0C\>\<#5C06\>\<#60A8\>\<#7684\>\<#5149\>\<#6807\>\<#7F6E\>\<#4E8E\>\<#64CD\>\<#4F5C\>\<#7B26\>\<#7684\>\<#53F3\>\<#8FB9\>\<#FF0C\>\<#5219\>\<#8BE5\>\<#64CD\>\<#4F5C\>\<#7B26\>\<#6240\>\<#4F5C\>\<#7528\>\<#7684\>\<#5B50\>\<#8868\>\<#8FBE\>\<#5F0F\>\<#4F1A\>\<#9AD8\>\<#4EAE\>\<#663E\>\<#793A\>\<#3002\>\<#5728\>\<#52A0\>\<#6CD5\>\<#FF08\>\<#6216\>\<#8005\>\<#66F4\>\<#4E00\>\<#822C\>\<#7684\>\<#7ED3\>\<#5408\>\<#7B97\>\<#7B26\>\<#FF09\>\<#8FD9\>\<#4E2A\>\<#4F8B\>\<#5B50\>\<#4E2D\>\<#FF0C\>\<#6240\>\<#6709\>\<#7684\>\<#88AB\>\<#52A0\>\<#6570\>\<#90FD\>\<#4F1A\>\<#9AD8\>\<#4EAE\>\<#663E\>\<#793A\>\<#3002\>
 
-  <tmdoc-copyright|2013|Darcy Shen>
+  <tmdoc-copyright|2013\U2020|Joris van der Hoeven|\<#6C88\>\<#8FBE\>>
 
   <tmdoc-license|Permission is granted to copy, distribute and/or modify this
   document under the terms of the GNU Free Documentation License, Version 1.1
diff --git a/main/math/semantics/man-syntax-correction.zh.tm b/main/math/semantics/man-syntax-correction.zh.tm
index 71d4a0f..f8ae019 100644
--- a/main/math/semantics/man-syntax-correction.zh.tm
+++ b/main/math/semantics/man-syntax-correction.zh.tm
@@ -1,6 +1,6 @@
-<TeXmacs|1.99.7>
+<TeXmacs|1.99.12>
 
-<style|<tuple|tmdoc|old-spacing|chinese>>
+<style|<tuple|tmdoc|old-spacing|chinese|old-dots>>
 
 <\body>
   <tmdoc-title|\<#5E38\>\<#89C1\>\<#9519\>\<#8BEF\>\<#4E0E\>\<#8BED\>\<#6CD5\>\<#7EA0\>\<#6B63\>>
@@ -49,7 +49,7 @@
 
   \<#4FEE\>\<#6B63\>\<#8FC7\>\<#8BED\>\<#6CD5\>\<#4E4B\>\<#540E\>\<#FF0C\>\<#5269\>\<#4E0B\>\<#7684\>\<#9519\>\<#8BEF\>\<#5C31\>\<#662F\>\<#771F\>\<#6B63\>\<#7684\>\<#7B14\>\<#8BEF\>\<#6216\>\<#975E\>\<#6807\>\<#51C6\>\<#6216\>\<#4E0D\>\<#652F\>\<#6301\>\<#7684\>\<#7B26\>\<#53F7\>\<#4E86\>\<#3002\>\<#6211\>\<#4EEC\>\<#4E5F\>\<#4F1A\>\<#53D1\>\<#73B0\>\<#FF0C\>\P\<#6B63\>\<#786E\>\<#7684\>\Q\<#516C\>\<#5F0F\>\<#4E0D\>\<#4E00\>\<#5B9A\>\<#5C31\>\<#662F\>\<#8868\>\<#793A\>\<#60F3\>\<#8981\>\<#7684\>\<#610F\>\<#601D\>\<#3002\>\<#8981\>\<#60F3\>\<#68C0\>\<#67E5\>\<#662F\>\<#5426\>\<#771F\>\<#7684\>\<#8868\>\<#793A\>\<#60F3\>\<#8981\>\<#7684\>\<#542B\>\<#4E49\>\<#FF0C\>\<#5C31\>\<#53EA\>\<#80FD\>\<#5728\>\<#8F93\>\<#5165\>\<#516C\>\<#5F0F\>\<#7684\>\<#65F6\>\<#5019\>\<#6CE8\>\<#610F\>\<#4E00\>\<#4E0B\>\<#4E86\>\<#3002\>
 
-  <tmdoc-copyright|2018|Alexander Misel>
+  <tmdoc-copyright|2018|Joris van der Hoeven|Alexander Misel>
 
   <tmdoc-license|Permission is granted to copy, distribute and/or modify this
   document under the terms of the GNU Free Documentation License, Version 1.1