From 297da9ee16ee62c614f8ee5a5f0bbd1078e08e64 Mon Sep 17 00:00:00 2001
From: Darcy Shen <sadhen@zoho.com>
Date: Sun, 29 Jul 2018 13:48:25 +0000
Subject: [PATCH] Review man-semantics-symbols.zh.tm translated by Alexander
 Misel

---
 main/math/man-math.zh.tm                      | 10 +--
 .../semantics/man-semantics-symbols.zh.tm     | 67 +++++++++++++++++++
 main/math/semantics/man-semantics.zh.tm       | 12 ++--
 3 files changed, 78 insertions(+), 11 deletions(-)
 create mode 100644 main/math/semantics/man-semantics-symbols.zh.tm

diff --git a/main/math/man-math.zh.tm b/main/math/man-math.zh.tm
index dbed688..1eacf38 100644
--- a/main/math/man-math.zh.tm
+++ b/main/math/man-math.zh.tm
@@ -1,6 +1,6 @@
-<TeXmacs|1.99.2>
+<TeXmacs|1.99.7>
 
-<style|<tuple|tmdoc|chinese>>
+<style|<tuple|tmdoc|chinese|old-spacing>>
 
 <\body>
   <tmdoc-title|\<#6570\>\<#5B66\>\<#516C\>\<#5F0F\>>
@@ -25,14 +25,14 @@
 
     <branch|\<#8BED\>\<#4E49\>\<#7F16\>\<#8F91\>\<#5DE5\>\<#5177\>|semantics/man-semantics.zh.tm>
 
-    <branch|\<#5E38\>\<#89C1\>\<#9519\>\<#8BEF\>\<#548C\>\<#8BED\>\<#6CD5\>\<#7EA0\>\<#6B63\>|semantics/man-syntax-correction.en.tm>
+    <branch|\<#5E38\>\<#89C1\>\<#9519\>\<#8BEF\>\<#548C\>\<#8BED\>\<#6CD5\>\<#7EA0\>\<#6B63\>|semantics/man-syntax-correction.zh.tm>
 
-    <branch|\<#6570\>\<#5B66\>\<#7B26\>\<#53F7\>\<#7684\>\<#8BED\>\<#4E49\>|semantics/man-semantics-symbols.en.tm>
+    <branch|\<#6570\>\<#5B66\>\<#7B26\>\<#53F7\>\<#7684\>\<#8BED\>\<#4E49\>|semantics/man-semantics-symbols.zh.tm>
 
     <branch|\<#5B9A\>\<#5236\>\<#6570\>\<#5B66\>\<#8BED\>\<#4E49\>|semantics/man-customized-semantics.zh.tm>
   </traverse>
 
-  <tmdoc-copyright|1998--2011|Joris van der Hoeven>
+  <tmdoc-copyright|2018|Darcy Shen>
 
   <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
new file mode 100644
index 0000000..71fc248
--- /dev/null
+++ b/main/math/semantics/man-semantics-symbols.zh.tm
@@ -0,0 +1,67 @@
+<TeXmacs|1.99.7>
+
+<style|<tuple|tmdoc|old-spacing|chinese>>
+
+<\body>
+  <tmdoc-title|\<#6570\>\<#5B66\>\<#7B26\>\<#53F7\>\<#7684\>\<#8BED\>\<#4E49\>>
+
+  <TeXmacs>\<#4E2D\>\<#7684\>\<#6570\>\<#5B66\>\<#7B26\>\<#53F7\>\<#90FD\>\<#6709\>\<#4E00\>\<#4E9B\>\<#5C5E\>\<#6027\>\<#FF0C\>\<#8FD9\>\<#4E9B\>\<#5C5E\>\<#6027\>\<#5BF9\>\<#5E94\>\<#4E8E\>\<#4ED6\>\<#4EEC\>\<#60F3\>\<#8981\>\<#8868\>\<#793A\>\<#7684\>\<#542B\>\<#4E49\>\<#3002\>\<#4F8B\>\<#5982\>\<#FF0C\>
+  <TeXmacs>\<#80FD\>\<#591F\>\<#77E5\>\<#9053\><math|<op|+>>\<#662F\>\<#4E00\>\<#4E2A\>\<#4E2D\>\<#7F00\>\<#8FD0\>\<#7B97\>\<#7B26\>\<#FF0C\>!\<#662F\>\<#4E00\>\<#4E2A\>\<#540E\>\<#7F00\>\<#FF0C\>\<#4EE5\>\<#53CA\>\<#5206\>\<#9694\>\<#7B26\>\<#3002\>
+
+  \<#91CD\>\<#8981\>\<#7684\>\<#6570\>\<#5B66\>\<#5E38\>\<#91CF\><math|\<mathe\>=2.71828\<cdots\>>,
+  <math|\<mathpi\>=3.14159\<cdots\>>\<#548C\><math|\<mathi\>>\<#5728\><TeXmacs>\<#4E2D\>\<#662F\>\<#7528\>\<#7279\>\<#6B8A\>\<#7684\>\<#7B26\>\<#53F7\>\<#8868\>\<#793A\>\<#7684\>\<#3002\>\<#8FD9\>\<#4E9B\>\<#7B26\>\<#53F7\>\<#548C\>\<#7EAF\>\<#7CB9\>\<#7684\>\<#5B57\>\<#7B26\><math|e>,
+  <math|\<pi\>>\<#548C\><math|i>\<#6709\>\<#7740\>\<#4E0D\>\<#540C\>\<#7684\>\<#5B57\>\<#5F62\>\<#FF0C\>\<#53EF\>\<#4EE5\>\<#901A\>\<#8FC7\>\<#5FEB\>\<#6377\>\<#952E\><shortcut|\<mathe\>>,
+  <shortcut|\<mathpi\>>\<#548C\><shortcut|\<mathi\>>\<#6765\>\<#8F93\>\<#5165\>\<#3002\>\<#6211\>\<#4EEC\>\<#5EFA\>\<#8BAE\>\<#7CFB\>\<#7EDF\>\<#6027\>\<#5730\>\<#4F7F\>\<#7528\>\<#8FD9\>\<#4E9B\>\<#5FEB\>\<#6377\>\<#952E\>\<#3002\>
+
+  \<#76F8\>\<#53CD\>\<#FF0C\>\<#8BED\>\<#4E49\>\<#4E0A\>\<#4E0D\>\<#540C\>\<#7684\>\<#7B26\>\<#53F7\>\<#53EF\>\<#80FD\>\<#5728\>\<#5B57\>\<#5F62\>\<#4E0A\>\<#5F88\>\<#76F8\>\<#50CF\>\<#3002\>\<#6BD4\>\<#5982\><math|f<around|(|x,y|)>>\<#4E2D\>\<#7684\>\<#9017\>\<#53F7\>\<#5206\>\<#9694\>\<#7B26\>\<#FF0C\>\<#4E0E\><math|3\<comma\>14159\<cdots\>>\<#4E2D\>\<#7684\>\<#5C0F\>\<#6570\>\<#9017\>\<#53F7\>\<#610F\>\<#4E49\>\<#5B8C\>\<#5168\>\<#4E0D\>\<#540C\>\<#3002\>\<#8BF7\>\<#6CE8\>\<#610F\>\<#FF0C\>\<#8FD9\>\<#4E24\>\<#4E2A\>\<#7B26\>\<#53F7\>\<#7684\>\<#95F4\>\<#8DDD\>\<#89C4\>\<#5219\>\<#662F\>\<#4E0D\>\<#4E00\>\<#6837\>\<#7684\>\<#3002\>\<#8BED\>\<#4E49\>\<#4E0D\>\<#540C\>\<#4F46\>\<#5B57\>\<#5F62\>\<#76F8\>\<#540C\>\<#7684\>\<#7B26\>\<#53F7\>\<#79F0\>\<#4F5C\><em|\<#540C\>\<#5F62\>\<#5B57\>\<#7B26\>>\<#3002\>
+  \<#6CE8\>\<#610F\>\<#6211\>\<#4EEC\>\<#7684\>\<#8BED\>\<#4E49\>\<#662F\>\<#7EAF\>\<#8BED\>\<#6CD5\>\<#7684\>\<#FF1A\>\<#4F8B\>\<#5982\>\<#FF0C\><math|+>\<#4E2D\>\<#7F00\>\<#901A\>\<#5E38\>\<#7528\>\<#4E8E\>\<#52A0\>\<#6CD5\>\<#FF0C\>\<#4F46\>\<#6709\>\<#65F6\>\<#4E5F\>\<#7528\>\<#6765\>\<#8FDE\>\<#63A5\>\<#5B57\>\<#7B26\>\<#4E32\>\<#3002\>\<#7136\>\<#800C\>\<#FF0C\>\<#8FD9\>\<#4E24\>\<#79CD\>\<#7528\>\<#6CD5\>\<#5728\>\<#8BED\>\<#6CD5\>\<#4E0A\>\<#6CA1\>\<#6709\>\<#533A\>\<#522B\>\<#FF0C\>\<#56E0\>\<#4E3A\><math|+>\<#7B26\>\<#53F7\>\<#4ECD\>\<#7136\>\<#662F\>\<#4E00\>\<#4E2A\>\<#4E8C\>\<#5143\>\<#4E2D\>\<#7F00\>\<#FF0C\>\<#5728\>\<#4E0E\>\<#5176\>\<#4ED6\>\<#7B26\>\<#53F7\>\<#7684\>\<#4F18\>\<#5148\>\<#7EA7\>\<#4E0A\>\<#FF0C\>\<#4E24\>\<#8005\>\<#4E5F\>\<#662F\>\<#4E00\>\<#81F4\>\<#7684\>\<#3002\>
+
+  \<#6700\>\<#5BB9\>\<#6613\>\<#6DF7\>\<#6DC6\>\<#7684\>\<#540C\>\<#5F62\>\<#5B57\>\<#7B26\>\<#662F\><TeXmacs>\<#652F\>\<#6301\>\<#7684\>\<#975E\>\<#53EF\>\<#89C1\>\<#5B57\>\<#7B26\>:
+
+  <\itemize>
+    <item>\<#4E58\>\<#79EF\>\<#FF0C\>\<#8F93\>\<#5165\><key|*>\<#3002\>\<#4F8B\>\<#5982\>\<#FF1A\><math|a*b>\<#3002\>
+
+    <item>\<#51FD\>\<#6570\>\<#FF0C\>\<#8F93\>\<#5165\><key|space>\<#3002\>\<#4F8B\>\<#5982\>\<#FF1A\><math|sin
+    x>\<#3002\>
+
+    <item>\<#975E\>\<#53EF\>\<#89C1\>\<#5206\>\<#9694\>\<#7B26\>\<#FF0C\>\<#8F93\>\<#5165\><shortcut|\<nocomma\>>\<#3002\>\<#4F8B\>\<#5982\>\<#FF1A\>\<#77E9\>\<#9635\><math|A=<around|(|a<rsub|i\<nocomma\>j>|)>>\<#3002\>
+
+    <item>\<#975E\>\<#53EF\>\<#89C1\>\<#52A0\>\<#6CD5\>\<#FF0C\>\<#8F93\>\<#5165\><shortcut|\<noplus\>>\<#3002\>\<#4F8B\>\<#5982\>\<#FF1A\><math|17\<noplus\><frac*|3|8>>\<#3002\>
+
+    <item>\<#975E\>\<#53EF\>\<#89C1\>\<#7B26\>\<#53F7\>\<#FF0C\>\<#8F93\>\<#5165\><shortcut|\<nosymbol\>>\<#3002\>\<#4F8B\>\<#5982\>\<#FF1A\>\<#9012\>\<#589E\>
+    <math|\<nosymbol\>+1>\<#3002\>
+
+    <item><label|nobracket>\<#975E\>\<#53EF\>\<#89C1\>\<#62EC\>\<#53F7\>\<#FF08\>\<#4E3B\>\<#8981\>\<#7528\>\<#4E8E\>\<#5185\>\<#90E8\>\<#60C5\>\<#51B5\>\<#FF09\>\<#3002\>\<#4E00\>\<#7EC4\>\<#5339\>\<#914D\>\<#7684\>\<#975E\>\<#53EF\>\<#89C1\>\<#62EC\>\<#53F7\>\<#7528\><key|(
+    var>\<#8F93\>\<#5165\>\<#3002\>
+  </itemize>
+
+  \<#518D\>\<#4E00\>\<#6B21\>\<#5EFA\>\<#8BAE\>\<#5927\>\<#5BB6\>\<#8F93\>\<#5165\>\<#8FD9\>\<#4E9B\>\<#975E\>\<#53EF\>\<#89C1\>\<#7B26\>\<#53F7\>\<#7684\>\<#65F6\>\<#5019\>\<#683C\>\<#5916\>\<#5C0F\>\<#5FC3\>\<#3002\>\<#5C24\>\<#5176\>\<#662F\>\<#533A\>\<#5206\>\<#4E58\>\<#6CD5\>\<#548C\>\<#51FD\>\<#6570\>\<#7684\>\<#65F6\>\<#5019\>\<#8981\>\<#6CE8\>\<#610F\>\<#FF0C\>\<#56E0\>\<#4E3A\>\<#6CA1\>\<#6709\>100%\<#51C6\>\<#786E\>\<#7684\>\<#65B9\>\<#6CD5\>\<#6765\>\<#533A\>\<#5206\>\<#8FD9\>\<#4E8C\>\<#8005\>\<#FF08\>\<#6211\>\<#4EEC\>\<#524D\>\<#9762\>\<#5DF2\>\<#7ECF\>\<#63D0\>\<#5230\>\<#4E86\><math|a<around|(|b+c|)>>\<#548C\><math|f<around|(|x+y|)>>\<#FF09\>\<#3002\>
+
+  <TeXmacs>\<#652F\>\<#6301\>\<#4E24\>\<#79CD\>\<#975E\>\<#5E38\>\<#901A\>\<#7528\>\<#7684\>\<#8F93\>\<#5165\>\<#540C\>\<#5F62\>\<#5B57\>\<#7B26\>\<#7684\>\<#65B9\>\<#5F0F\>\<#3002\>\<#4E00\>\<#65B9\>\<#9762\>\<#FF0C\>\<#6211\>\<#4EEC\>\<#4F9D\>\<#8D56\>\<#4E8E\>\<#6807\>\<#51C6\>\<#53D8\>\<#4F53\>\<#7CFB\>\<#7EDF\>\<#3002\>\<#4F8B\>\<#5982\>\<#FF0C\><math|\<times\>>\<#548C\><math|\<ast\>>\<#5206\>\<#522B\>\<#901A\>\<#8FC7\><shortcut|\<times\>>\<#548C\><shortcut|\<ast\>>\<#6765\>\<#5F97\>\<#5230\>\<#3002\>\<#5728\>\<#8868\><nbsp><reference|homoglyph-table>\<#4E2D\>\<#6211\>\<#4EEC\>\<#7ED9\>\<#51FA\>\<#4E86\><TeXmacs>\<#652F\>\<#6301\>\<#7684\>\<#540C\>\<#5F62\>\<#5B57\>\<#7B26\>\<#7684\>\<#5B8C\>\<#6574\>\<#5217\>\<#8868\>\<#3002\>
+
+  <big-table|<block|<tformat|<table|<row|<cell|\<#5FEB\>\<#6377\>\<#952E\>>|<cell|\<#5B57\>\<#5F62\>>|<cell|\<#4F8B\>\<#5B50\>>|<cell|\<#8BED\>\<#4E49\>>>|<row|<cell|<key|*>>|<cell|>|<cell|<math|a*b>>|<cell|\<#4E58\>\<#6CD5\>>>|<row|<cell|<key|space>>|<cell|>|<cell|<math|sin
+  x>>|<cell|\<#51FD\>\<#6570\>>>|<row|<cell|<shortcut|\<nocomma\>>>|<cell|>|<cell|<math|a<rsub|i\<nocomma\>j>=a<rsub|j\<nocomma\>i>>>|<cell|\<#4E0D\>\<#53EF\>\<#89C1\>\<#5206\>\<#9694\>\<#7B26\>>>|<row|<cell|<shortcut|\<noplus\>>>|<cell|>|<cell|<with|mode|math|17\<noplus\><frac*|3|8>>>|<cell|\<#4E0D\>\<#53EF\>\<#89C1\>\<#52A0\>\<#6CD5\>>>|<row|<cell|<shortcut|\<nosymbol\>>>|<cell|>|<cell|<math|\<nosymbol\>+1>>|<cell|\<#4E0D\>\<#53EF\>\<#89C1\>\<#7B26\>\<#53F7\>>>|<row|<cell|<key|(
+  var>>|<cell|>|<cell|<math|\<Phi\>\<equiv\><around*|\<nobracket\>|\<forall\>x,P<around*|(|x|)>|\<nobracket\>>>>|<cell|\<#4E0D\>\<#53EF\>\<#89C1\>\<#62EC\>\<#53F7\>>>|<row|<cell|<key|\|>>|<cell|<math|\|>>|<cell|<math|<around*|\||-x|\|>=<around*|\||x|\|>>>|<cell|\<#7EDD\>\<#5BF9\>\<#503C\>>>|<row|<cell|<key|\|
+  var>>|<cell|<math|\|>>|<cell|<math|<around*|{|x\<in\>\<bbb-R\>\|x\<gtr\>0|}>>>|<cell|\<#5206\>\<#9694\>\<#7AD6\>\<#7EBF\>>>|<row|<cell|<key|\|
+  var var>>|<cell|<math|\|>>|<cell|<math|<around*|\<langle\>|a<rsub|i><rsup|2><mid|\|>a<rsub|j><rsup|2>|\<rangle\>>>>|<cell|\<#53EF\>\<#62C9\>\<#4F38\>\<#7684\>\<#4E2D\>\<#95F4\>\<#7AD6\>\<#7EBF\>>>|<row|<cell|<key|\|
+  var var var var>>|<cell|<math|\|>>|<cell|<math|11\<divides\>1001>>|<cell|\<#6574\>\<#9664\>\<#5173\>\<#7CFB\>>>|<row|<cell|<key|,>>|<cell|,>|<cell|<math|f<around*|(|x,y|)>>>|<cell|\<#9017\>\<#53F7\>\<#5206\>\<#9694\>\<#7B26\>>>|<row|<cell|<key|,
+  var>>|<cell|,>|<cell|<math|123\<comma\>456>>|<cell|\<#5341\>\<#8FDB\>\<#5236\>\<#6570\>\<#5B57\>\<#9017\>\<#53F7\>>>|<row|<cell|<key|.>>|<cell|.>|<cell|<math|123.456>>|<cell|\<#5341\>\<#8FDB\>\<#5236\>\<#6570\>\<#5B57\>\<#5C0F\>\<#6570\>\<#70B9\>>>|<row|<cell|<key|.
+  var>>|<cell|.>|<cell|<math|\<mathlambda\>x\<point\>x<rsup|2>>>|<cell|\<#70B9\>\<#53F7\>\<#8FDE\>\<#63A5\>\<#7B26\>>>|<row|<cell|<key|*
+  var var var>>|<cell|<math|\<cdot\>>>|<cell|<math|\<b-v\>\<cdot\>\<b-w\>>>|<cell|\<#70B9\>\<#4E58\>>>|<row|<cell|<key|.
+  var var>>|<cell|<math|\<cdummy\>>>|<cell|<math|\<cdummy\>+1>>|<cell|Dummy\<#901A\>\<#914D\>\<#7B26\>>>|<row|<cell|<key|:>>|<cell|<math|:>>|<cell|<math|<around*|{|x\<in\>E:P<around*|(|x|)>|}>>>|<cell|\<#5206\>\<#9694\>\<#7B26\>>>|<row|<cell|<shortcut|\<of\>>>|<cell|<math|\<of\>>>|<cell|<math|x\<of\><math-ss|Int>>>|<cell|\<#7C7B\>\<#578B\>\<#6EE1\>\<#8DB3\>>>|<row|<cell|<shortcut|\<over\>>>|<cell|<math|\<over\>>>|<cell|<math|121\<over\>11=11>>|<cell|\<#9664\>\<#6CD5\>>>|<row|<cell|<key|\\
+  var>>|<cell|<math|\\>>|<cell|<math|\\x>>|<cell|\<#53CD\>\<#659C\>\<#6760\>>>|<row|<cell|<key|\\
+  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-license|Permission is granted to copy, distribute and/or modify this
+  document under the terms of the GNU Free Documentation License, Version 1.1
+  or any later version published by the Free Software Foundation; with no
+  Invariant Sections, with no Front-Cover Texts, and with no Back-Cover
+  Texts. A copy of the license is included in the section entitled "GNU Free
+  Documentation License".>
+</body>
+
+<initial|<\collection>
+</collection>>
\ No newline at end of file
diff --git a/main/math/semantics/man-semantics.zh.tm b/main/math/semantics/man-semantics.zh.tm
index 766183b..d168018 100644
--- a/main/math/semantics/man-semantics.zh.tm
+++ b/main/math/semantics/man-semantics.zh.tm
@@ -1,11 +1,11 @@
-<TeXmacs|1.99.2>
+<TeXmacs|1.99.7>
 
-<style|<tuple|tmdoc|chinese>>
+<style|<tuple|tmdoc|chinese|old-spacing>>
 
 <\body>
   <tmdoc-title| \<#8BED\>\<#4E49\>\<#7F16\>\<#8F91\>\<#5DE5\>\<#5177\>>
 
-  \<#81EA\>\<#4ECE\><name|1.0.7.10>\<#FF0C\><TeXmacs>\<#65B0\>\<#589E\>\<#4E86\>\<#4E00\>\<#4E9B\>\<#6570\>\<#5B66\>\<#516C\>\<#5F0F\>\<#7684\>\<#8BED\>\<#4E49\>\<#7F16\>\<#8F91\>\<#7279\>\<#6027\>\<#3002\>\<#5408\>\<#7406\>\<#4F7F\>\<#7528\>\<#8FD9\>\<#4E9B\>\<#7279\>\<#6027\>\<#FF0C\>\<#5C31\>\<#80FD\>\<#4F7F\>\<#60A8\>\<#7684\>\<#516C\>\<#5F0F\>\<#81F3\>\<#5C11\>\<#5728\>\<#53E5\>\<#6CD5\>\<#5C42\>\<#9762\>\<#4E0A\>\<#4FDD\>\<#8BC1\>\<#6B63\>\<#786E\>\<#3002\>\<#6BD4\>\<#5982\>\<#FF0C\>\<#5728\>\<#516C\>\<#5F0F\><math|a+b>\<#4E2D\>\<#FF0C\>\<#8BA1\>\<#7B97\>\<#673A\>\<#80FD\>\<#8BC6\>\<#522B\><math|+>\<#662F\>\<#4F5C\>\<#7528\>\<#5728\>\<#53D8\>\<#91CF\><math|a>\<#548C\><math|b>\<#4E0A\>\<#7684\>\<#8FD0\>\<#7B97\>\<#7B26\>\<#3002\>\<#6CE8\>\<#610F\>\<#8FD9\>\<#91CC\>\<#6240\>\<#8C13\>''\<#8BED\>\<#4E49\>''\<#4EC5\>\<#9650\>\<#4E8E\>\<#6B64\>\<#FF0C\>\<#5373\><TeXmacs>\<#4E0D\>\<#4F1A\>\<#53BB\>\<#5173\>\<#6CE8\>\<#52A0\>\<#6CD5\>\<#7684\>\<#6570\>\<#5B66\>\<#672C\>\<#8D28\>\<#3002\>
+  \<#81EA\>\<#4ECE\><name|1.0.7.10>\<#FF0C\><TeXmacs>\<#65B0\>\<#589E\>\<#4E86\>\<#4E00\>\<#4E9B\>\<#6570\>\<#5B66\>\<#516C\>\<#5F0F\>\<#7684\>\<#8BED\>\<#4E49\>\<#7F16\>\<#8F91\>\<#7279\>\<#6027\>\<#3002\>\<#5408\>\<#7406\>\<#4F7F\>\<#7528\>\<#8FD9\>\<#4E9B\>\<#7279\>\<#6027\>\<#FF0C\>\<#5C31\>\<#80FD\>\<#4F7F\>\<#60A8\>\<#7684\>\<#516C\>\<#5F0F\>\<#81F3\>\<#5C11\>\<#5728\>\<#53E5\>\<#6CD5\>\<#5C42\>\<#9762\>\<#4E0A\>\<#4FDD\>\<#8BC1\>\<#6B63\>\<#786E\>\<#3002\>\<#6BD4\>\<#5982\>\<#FF0C\>\<#5728\>\<#516C\>\<#5F0F\><math|a+b>\<#4E2D\>\<#FF0C\>\<#8BA1\>\<#7B97\>\<#673A\>\<#80FD\>\<#8BC6\>\<#522B\><math|+>\<#662F\>\<#4F5C\>\<#7528\>\<#5728\>\<#53D8\>\<#91CF\><math|a>\<#548C\><math|b>\<#4E0A\>\<#7684\>\<#8FD0\>\<#7B97\>\<#7B26\>\<#3002\>\<#6CE8\>\<#610F\>\<#8FD9\>\<#91CC\>\<#6240\>\<#8C13\>\Q\<#8BED\>\<#4E49\>\Q\<#4EC5\>\<#9650\>\<#4E8E\>\<#6B64\>\<#FF0C\>\<#5373\><TeXmacs>\<#4E0D\>\<#4F1A\>\<#53BB\>\<#5173\>\<#6CE8\>\<#52A0\>\<#6CD5\>\<#7684\>\<#6570\>\<#5B66\>\<#672C\>\<#8D28\>\<#3002\>
 
   \<#8BED\>\<#4E49\>\<#7F16\>\<#8F91\>\<#9700\>\<#8981\>\<#7528\>\<#6237\>\<#6CE8\>\<#610F\>\<#4E00\>\<#4E9B\>\<#989D\>\<#5916\>\<#7684\>\<#4E8B\>\<#7269\>\<#FF0C\>\<#81F3\>\<#5C11\>\<#662F\>\<#9002\>\<#5E94\>\<#5B83\>\<#4EEC\>\<#3002\>\<#6BD4\>\<#5982\>\<#FF0C\>\<#7528\><key|*>\<#8F93\>\<#5165\>\<#4E58\>\<#53F7\>\<#548C\>\<#7528\><key|Space>\<#8F93\>\<#5165\>\<#51FD\>\<#6570\>\<#662F\>\<#7528\>\<#6237\>\<#7684\>\<#9700\>\<#8981\>\<#4E86\>\<#89E3\>\<#4E14\>\<#5B9E\>\<#8DF5\>\<#7684\>\<#77E5\>\<#8BC6\>\<#3002\>\<#8BDA\>\<#7136\>\<#FF0C\>\<#5C55\>\<#73B0\>\<#5728\>\<#56FE\>\<#50CF\>\<#4E0A\>\<#FF0C\>\<#8FD9\>\<#4E9B\>\<#64CD\>\<#4F5C\>\<#7684\>\<#7EC6\>\<#8282\>\<#65E0\>\<#6CD5\>\<#8FA8\>\<#8BC6\>\<#FF0C\>\<#56E0\>\<#4E3A\>\<#5B83\>\<#4EEC\>\<#90FD\>\<#662F\>\<#4EE5\>\<#7A7A\>\<#683C\>\<#7684\>\<#5F62\>\<#5F0F\>\<#4E3A\>\<#7528\>\<#6237\>\<#6240\>\<#89C1\>\<#3002\>\<#7136\>\<#800C\>\<#8FD9\>\<#4E9B\>\<#64CD\>\<#4F5C\>\<#7684\>\<#8BED\>\<#4E49\>\<#663E\>\<#7136\>\<#622A\>\<#7136\>\<#4E0D\>\<#540C\>\<#3002\>
 
@@ -14,7 +14,7 @@
   <\itemize>
     <item>\<#6BD4\>\<#5982\>\<#FF0C\>\<#5F53\>\<#60A8\>\<#8F93\>\<#5165\>\<#7684\>\<#516C\>\<#5F0F\>\<#7528\>\<#4E8E\>\<#8BA1\>\<#7B97\>\<#673A\>\<#7684\>\<#4EE3\>\<#6570\>\<#7CFB\>\<#7EDF\>\<#65F6\>\<#FF0C\>\<#8BED\>\<#4E49\>\<#4E30\>\<#5BCC\>\<#7684\>\<#6587\>\<#6863\>\<#66F4\>\<#663E\>\<#4F18\>\<#52BF\>\<#3002\>
 
-    <item>\<#53E5\>\<#6CD5\>\<#4E0A\>\<#6B63\>\<#786E\>\<#7684\>\<#6587\>\<#6863\>\<#51FA\>\<#73B0\>``typos''\<#6216\>\<#8005\>\<#66F4\>\<#590D\>\<#6742\>\<#7684\>\<#6570\>\<#5B66\>\<#9519\>\<#8BEF\>\<#7684\>\<#53EF\>\<#80FD\>\<#6027\>\<#66F4\>\<#5C0F\>\<#3002\>
+    <item>\<#53E5\>\<#6CD5\>\<#4E0A\>\<#6B63\>\<#786E\>\<#7684\>\<#6587\>\<#6863\>\<#51FA\>\<#73B0\>\Ptypos\Q\<#6216\>\<#8005\>\<#66F4\>\<#590D\>\<#6742\>\<#7684\>\<#6570\>\<#5B66\>\<#9519\>\<#8BEF\>\<#7684\>\<#53EF\>\<#80FD\>\<#6027\>\<#66F4\>\<#5C0F\>\<#3002\>
 
     <item>\<#5BF9\>\<#67D0\>\<#4E9B\>\<#7F16\>\<#8F91\>\<#64CD\>\<#4F5C\>\<#FF0C\>\<#8BF8\>\<#5982\>\<#526A\>\<#5207\>\<#548C\>\<#7C98\>\<#8D34\>\<#FF0C\>\<#60A8\>\<#53EF\>\<#4EE5\>\<#66F4\>\<#65B9\>\<#4FBF\>\<#7684\>\<#9009\>\<#4E2D\>\<#53E5\>\<#6CD5\>\<#4E0A\>\<#610F\>\<#4E49\>\<#5B8C\>\<#6574\>\<#7684\>\<#5B50\>\<#516C\>\<#5F0F\>\<#3002\>
 
@@ -27,9 +27,9 @@
   editing>\<#6FC0\>\<#6D3B\>\<#8BED\>\<#4E49\>\<#7F16\>\<#8F91\>\<#5DE5\>\<#5177\>\<#3002\>
   \<#5728\>\<#8BED\>\<#4E49\>\<#7F16\>\<#8F91\>\<#6A21\>\<#5F0F\>\<#4E0B\>\<#FF0C\>\<#60A8\>\<#5C06\>\<#4F7F\>\<#7528\>\<#5230\>\<#9488\>\<#5BF9\>\<#516C\>\<#5F0F\>\<#53E5\>\<#6CD5\>\<#7ED3\>\<#6784\>\<#7684\>\<#7ED3\>\<#6784\>\<#5316\>\<#7F16\>\<#8F91\>\<#7279\>\<#6027\>\<#3002\>\<#6BD4\>\<#5982\>\<#FF0C\><em|\<#8BED\>\<#4E49\>\<#7126\>\<#70B9\>><label|semantic-focus>\<#901A\>\<#5E38\>\<#662F\><hlink|\<#5F53\>\<#524D\>\<#7126\>\<#70B9\>|../../text/man-structure.en.tm>\<#7684\>\<#5B50\>\<#516C\>\<#5F0F\>\<#3002\>\<#53C8\>\<#5982\>\<#FF0C\>\<#60A8\>\<#53EA\>\<#80FD\>\<#9009\>\<#4E2D\>\<#53E5\>\<#6CD5\>\<#4E0A\>\<#6709\>\<#610F\>\<#4E49\>\<#7684\>\<#5B50\>\<#516C\>\<#5F0F\>\<#3002\>
 
-  \<#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\>``typos''\<#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\>
+  \<#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|2010|Joris van der Hoeven>
+  <tmdoc-copyright|2013|Darcy Shen>
 
   <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