1/3 of main/math completed

main/man-manual.zh.tm

@@ -1,4 +1,4 @@
-<TeXmacs|1.0.7.17>
+<TeXmacs|1.0.7.19>
 
 <style|tmdoc>
 
@@ -16,21 +16,21 @@
 
     <branch|\<#94FE\>\<#63A5\>\<#548C\>\<#5185\>\<#5BB9\>\<#81EA\>\<#52A8\>\<#751F\>\<#6210\>|links/man-links.zh.tm>
 
-    <branch|\<#5185\>\<#7F6E\>\<#4F5C\>\<#56FE\>\<#5DE5\>\<#5177\>|graphics/man-graphics.zh.tm>
+    <branch|\<#5185\>\<#7F6E\>\<#4F5C\>\<#56FE\>\<#5DE5\>\<#5177\>|graphics/man-graphics.en.tm>
 
-    <branch|\<#9AD8\>\<#7EA7\>\<#5E03\>\<#5C40\>\<#7279\>\<#6027\>|layout/man-layout.zh.tm>
+    <branch|\<#9AD8\>\<#7EA7\>\<#5E03\>\<#5C40\>\<#7279\>\<#6027\>|layout/man-layout.en.tm>
 
     <branch|\<#7F16\>\<#8F91\>\<#5DE5\>\<#5177\>|editing/man-editing-tools.zh.tm>
 
-    <branch|\<#5E7B\>\<#706F\>\<#7247\>|beamer/man-beamer.zh.tm>
+    <branch|\<#5E7B\>\<#706F\>\<#7247\>|beamer/man-beamer.en.tm>
 
-    <branch|<TeXmacs> \<#4EA4\>\<#4E92\>\<#5F0F\>\<#754C\>\<#9762\>|interface/man-itf.zh.tm>
+    <branch|<TeXmacs> \<#4EA4\>\<#4E92\>\<#5F0F\>\<#754C\>\<#9762\>|interface/man-itf.en.tm>
 
     <branch|\<#64B0\>\<#5199\>\<#6837\>\<#5F0F\>|../devel/style/style.zh.tm>
 
     <branch|\<#5B9A\>\<#5236\> <TeXmacs>|scheme/man-scheme.zh.tm>
 
-    <branch|<TeXmacs> \<#63D2\>\<#4EF6\>\<#7CFB\>\<#7EDF\>|../devel/plugin/plugins.zh.tm>
+    <branch|<TeXmacs> \<#63D2\>\<#4EF6\>\<#7CFB\>\<#7EDF\>|../devel/plugin/plugins.en.tm>
   </traverse>
 
   <tmdoc-copyright|1998--2002|Joris van der Hoeven>

main/math/keyboard/man-big.zh.tm

@@ -0,0 +1,60 @@
+<TeXmacs|1.0.7.19>
+
+<style|tmdoc>
+
+<\body>
+  <tmdoc-title|\<#8F93\>\<#5165\>\<#5927\>\<#578B\>\<#7B97\>\<#7B26\>>
+
+  \<#4E0B\>\<#9762\>\<#7684\>\<#5FEB\>\<#6377\>\<#952E\>\<#7528\>\<#4E8E\>\<#8F93\>\<#5165\>\<#8F83\>\<#5927\>\<#7684\>\<#6570\>\<#5B66\>\<#7B26\>\<#53F7\>:
+
+  <\big-table>
+    <descriptive-table|<tformat|<cwith|3|7|2|2|cell-halign|c>|<cwith|3|7|4|4|cell-halign|c>|<cwith|4|7|1|1|cell-rborder|0.5ln>|<cwith|4|7|1|1|cell-bborder|0.5ln>|<cwith|4|7|1|1|cell-lborder|0.5ln>|<cwith|3|7|1|1|cell-lsep|1spc>|<cwith|3|7|1|1|cell-rsep|1spc>|<cwith|3|7|1|1|cell-bsep|1spc>|<cwith|3|7|1|1|cell-tsep|1spc>|<cwith|5|5|1|1|cell-rborder|0.5ln>|<cwith|5|5|1|1|cell-bborder|0.5ln>|<cwith|5|5|1|1|cell-lborder|0.5ln>|<cwith|5|5|1|1|cell-lsep|1spc>|<cwith|5|5|1|1|cell-rsep|1spc>|<cwith|5|5|1|1|cell-bsep|1spc>|<cwith|5|5|1|1|cell-tsep|1spc>|<cwith|3|3|1|1|cell-rborder|0.5ln>|<cwith|3|3|1|1|cell-bborder|0.5ln>|<cwith|3|3|1|1|cell-lborder|0.5ln>|<cwith|3|3|1|1|cell-lsep|1spc>|<cwith|3|3|1|1|cell-rsep|1spc>|<cwith|3|3|1|1|cell-bsep|1spc>|<cwith|3|3|1|1|cell-tsep|1spc>|<cwith|3|3|1|1|cell-rborder|0.5ln>|<cwith|3|3|1|1|cell-bborder|0.5ln>|<cwith|3|3|1|1|cell-lborder|0.5ln>|<cwith|3|3|1|1|cell-lsep|1spc>|<cwith|3|3|1|1|cell-rsep|1spc>|<cwith|3|3|1|1|cell-bsep|1spc>|<cwith|3|3|1|1|cell-tsep|1spc>|<cwith|4|7|3|3|cell-rborder|0.5ln>|<cwith|4|7|3|3|cell-bborder|0.5ln>|<cwith|3|7|3|3|cell-lsep|1spc>|<cwith|3|7|3|3|cell-rsep|1spc>|<cwith|3|7|3|3|cell-bsep|1spc>|<cwith|3|7|3|3|cell-tsep|1spc>|<cwith|5|5|3|3|cell-rborder|0.5ln>|<cwith|5|5|3|3|cell-bborder|0.5ln>|<cwith|5|5|3|3|cell-lsep|1spc>|<cwith|5|5|3|3|cell-rsep|1spc>|<cwith|5|5|3|3|cell-bsep|1spc>|<cwith|5|5|3|3|cell-tsep|1spc>|<cwith|3|3|3|3|cell-rborder|0.5ln>|<cwith|3|3|3|3|cell-bborder|0.5ln>|<cwith|3|3|3|3|cell-lsep|1spc>|<cwith|3|3|3|3|cell-rsep|1spc>|<cwith|3|3|3|3|cell-bsep|1spc>|<cwith|3|3|3|3|cell-tsep|1spc>|<cwith|3|3|3|3|cell-rborder|0.5ln>|<cwith|3|3|3|3|cell-bborder|0.5ln>|<cwith|3|3|3|3|cell-lsep|1spc>|<cwith|3|3|3|3|cell-rsep|1spc>|<cwith|3|3|3|3|cell-bsep|1spc>|<cwith|3|3|3|3|cell-tsep|1spc>|<cwith|2|2|2|2|cell-halign|c>|<cwith|2|2|4|4|cell-halign|c>|<cwith|2|2|1|1|cell-lsep|1spc>|<cwith|2|2|1|1|cell-rsep|1spc>|<cwith|2|2|1|1|cell-bsep|1spc>|<cwith|2|2|1|1|cell-tsep|1spc>|<cwith|2|2|1|1|cell-rborder|0.5ln>|<cwith|2|2|1|1|cell-bborder|0.5ln>|<cwith|2|2|1|1|cell-lborder|0.5ln>|<cwith|2|2|1|1|cell-lsep|1spc>|<cwith|2|2|1|1|cell-rsep|1spc>|<cwith|2|2|1|1|cell-bsep|1spc>|<cwith|2|2|1|1|cell-tsep|1spc>|<cwith|2|2|1|1|cell-rborder|0.5ln>|<cwith|2|2|1|1|cell-bborder|0.5ln>|<cwith|2|2|1|1|cell-lborder|0.5ln>|<cwith|2|2|1|1|cell-lsep|1spc>|<cwith|2|2|1|1|cell-rsep|1spc>|<cwith|2|2|1|1|cell-bsep|1spc>|<cwith|2|2|1|1|cell-tsep|1spc>|<cwith|2|2|3|3|cell-lsep|1spc>|<cwith|2|2|3|3|cell-rsep|1spc>|<cwith|2|2|3|3|cell-bsep|1spc>|<cwith|2|2|3|3|cell-tsep|1spc>|<cwith|2|2|3|3|cell-rborder|0.5ln>|<cwith|2|2|3|3|cell-bborder|0.5ln>|<cwith|2|2|3|3|cell-lsep|1spc>|<cwith|2|2|3|3|cell-rsep|1spc>|<cwith|2|2|3|3|cell-bsep|1spc>|<cwith|2|2|3|3|cell-tsep|1spc>|<cwith|2|2|3|3|cell-rborder|0.5ln>|<cwith|2|2|3|3|cell-bborder|0.5ln>|<cwith|2|2|3|3|cell-lsep|1spc>|<cwith|2|2|3|3|cell-rsep|1spc>|<cwith|2|2|3|3|cell-bsep|1spc>|<cwith|2|2|3|3|cell-tsep|1spc>|<cwith|1|1|2|2|cell-halign|c>|<cwith|1|1|4|4|cell-halign|c>|<cwith|1|-1|2|2|cell-rborder|1ln>|<table|<row|<cell|\<#5FEB\>\<#6377\>\<#952E\>>|<cell|\<#6548\>\<#679C\>>|<cell|\<#5FEB\>\<#6377\>\<#952E\>>|<cell|\<#6548\>\<#679C\>>>|<row|<cell|<key|symbol
+    I>>|<cell|<math|<with|math-display|true|<big|int>>>>|<cell|<key|symbol
+    O>>|<cell|<math|<with|math-display|true|<big|oint>>>>>|<row|<cell|<key|symbol
+    P>>|<cell|<math|<with|math-display|true|<big|prod>>>>|<cell|<key|symbol
+    A>>|<cell|<math|<with|math-display|true|<big|amalg>>>>>|<row|<cell|<key|symbol
+    S>>|<cell|<math|<with|math-display|true|<big|sum>>>>|<cell|<key|symbol @
+    +>>|<cell|<math|<with|math-display|true|<big|oplus>>>>>|<row|<cell|<key|symbol
+    @ x>>|<cell|<math|<with|math-display|true|<big|otimes>>>>|<cell|<key|symbol
+    @ .>>|<cell|<math|<with|math-display|true|<big|odot>>>>>|<row|<cell|<key|symbol
+    U>>|<cell|<math|<with|math-display|true|<big|cup>>>>|<cell|<key|symbol
+    N>>|<cell|<math|<with|math-display|true|<big|cap>>>>>|<row|<cell|<key|symbol
+    V>>|<cell|<math|<with|math-display|true|<big|vee>>>>|<cell|<key|symbol
+    W>>|<cell|<math|<with|math-display|true|<big|wedge>>>>>>>>
+  </big-table|Big mathematical operators.>
+
+  \<#6807\>\<#7B7E\>\<#5468\>\<#56F4\>\<#7684\>\<#6D45\>\<#84DD\>\<#8272\>\<#5C0F\>\<#6846\>\<#663E\>\<#793A\>\<#4E86\>\<#8FD9\>\<#4E9B\>\<#5927\>\<#578B\>\<#7B97\>\<#7B26\>\<#7684\>\<#4F5C\>\<#7528\>\<#57DF\>.
+
+  \<#79EF\>\<#5206\>\<#7B26\>\<#53F7\>\<#7531\>\<#4E24\>\<#79CD\>\<#8868\>\<#793A\>,\<#5176\>\<#4E0D\>\<#540C\>\<#4E4B\>\<#5904\>\<#5728\>\<#4E8E\>\<#4E0A\>\<#4E0B\>\<#6807\>\<#7684\>\<#4F4D\>\<#7F6E\>.\<#9ED8\>\<#8BA4\>\<#5730\>,\<#6211\>\<#4EEC\>\<#4F7F\>\<#7528\>\<#5982\>\<#4E0B\>\<#65B9\>\<#5F0F\>:
+
+  <\equation*>
+    <big|int><rsub|0><rsup|\<infty\>><frac|\<mathd\> x|1+x<rsup|2>>.
+  </equation*>
+
+  \<#53E6\>\<#5916\>\<#4E00\>\<#79CD\>
+
+  <\equation*>
+    <big|intlim><rsub|0><rsup|\<infty\>><frac|\<mathd\> x|1+x<rsup|2>>.
+  </equation*>
+
+  \<#5219\>\<#53EF\>\<#7528\>\<#5FEB\>\<#6377\>\<#952E\><key|symbol L
+  I>\<#83B7\>\<#5F97\>.\<#7C7B\>\<#4F3C\>\<#5730\>,\<#4F7F\>\<#7528\>\<#5FEB\>\<#6377\>\<#952E\><key|symbol
+  L O>\<#53EF\>\<#5F97\>\<#5230\><math|<big|oint>>,\<#5176\>\<#4E2D\>\<#4E0A\>\<#4E0B\>\<#6807\>\<#7684\>\<#4F4D\>\<#7F6E\>\<#662F\>\<#7B2C\>\<#4E8C\>\<#79CD\>\<#5F62\>\<#5F0F\>.
+
+  <tmdoc-copyright|1998--2002|Joris van der Hoeven>
+
+  <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>
+    <associate|font|sys-chinese>
+    <associate|language|chinese>
+    <associate|preamble|false>
+  </collection>
+</initial>

main/math/keyboard/man-enter-math.zh.tm

@@ -0,0 +1,101 @@
+<TeXmacs|1.0.7.17>
+
+<style|tmmanual>
+
+<\body>
+  <tmdoc-title|\<#5728\>\<#6587\>\<#6863\>\<#4E2D\>\<#8F93\>\<#5165\>\<#6570\>\<#5B66\>\<#516C\>\<#5F0F\>>
+
+  <with|font|roman|TeXmacs>\<#5BF9\>\<#6570\>\<#5B66\>\<#516C\>\<#5F0F\>\<#6709\>\<#7740\>\<#975E\>\<#5E38\>\<#5F3A\>\<#5927\>\<#7684\>\<#652F\>\<#6301\><with|font|wqy-zenhei|\<#3002\>><with|font|roman|TeXmacs>\<#4E0B\>\<#6709\>\<#4E09\>\<#79CD\>\<#8F93\>\<#5165\>\<#6570\>\<#5B66\>\<#516C\>\<#5F0F\>\<#7684\>\<#65B9\>\<#5F0F\>\<#FF1A\>
+
+  <\description>
+    <item*|<with|font|fireflysung|<menu|\<#63D2\>\<#5165\>|\<#6570\>\<#5B66\>|\<#516C\>\<#5F0F\>>
+    >\<#6216\>\<#8005\> <key|$>>
+
+    \<#8FD9\>\<#4E2A\>\<#83DC\>\<#5355\>\<#6761\>\<#76EE\>\<#8F93\>\<#5165\>\<#7684\>\<#662F\>\<#50CF\><math|a<rsup|2>+b<rsup|2>=c<rsup|2>>\<#90A3\>\<#6837\>\<#5D4C\>\<#5728\>\<#6587\>\<#672C\>\<#6BB5\>\<#843D\>\<#4E2D\>\<#7684\>\<#7B80\>\<#77ED\>\<#516C\>\<#5F0F\>\<#3002\>\<#6CE8\>\<#610F\>\<#516C\>
+
+    \<#5F0F\>\<#662F\>\<#4E00\>\<#79CD\>\<#7279\>\<#6B8A\>\<#7684\>\<#6392\>\<#7248\>\<#65B9\>\<#5F0F\>\<#FF0C\>\<#4E0D\>\<#4F1A\>\<#5360\>\<#7528\>\<#8FC7\>\<#591A\>\<#7684\>\<#5782\>\<#76F4\>\<#65B9\>\<#5411\>\<#4E0A\>\<#7684\>\<#7A7A\>\<#95F4\>\<#3002\>(\<#8FD9\>\<#91CC\>\<#7684\>limits\<#662F\>\<#4EC0\>\<#4E48\>\<#610F\>\<#601D\>\<#4E0D\>\<#61C2\>\<#FF0C\>\<#6253\>\<#5F00\>\<#548C\>\<#5173\>\<#95ED\>\<#6709\>\<#4EC0\>\<#4E48\>\<#533A\>\<#522B\>\<#5462\>\<#FF1F\>)\<#7F3A\>\<#7701\>\<#60C5\>\<#51B5\>\<#4E0B\>\<#FF0C\>\<#5C55\>\<#793A\>\<#98CE\>\<#683C\>\<#662F\>\<#5173\>\<#95ED\>\<#7684\>\<#3002\>
+
+    <item*|<menu|\<#63D2\>\<#5165\>|\<#6570\>\<#5B66\>|\<#5355\>\<#884C\>\<#516C\>\<#5F0F\>>
+    \<#6216\>\<#8005\> <key|Alt+$>>
+
+    \<#8FD9\>\<#4E2A\>\<#6761\>\<#76EE\>\<#9002\>\<#5408\>\<#8F93\>\<#5165\>\<#8F83\>\<#957F\>\<#7684\>\<#516C\>\<#5F0F\>\<#FF0C\>\<#6BD4\>\<#5982\>\<#FF1A\>
+
+    <\equation*>
+      x<rsup|n>+y<rsup|n>=z<rsup|n>,
+    </equation*>
+
+    \<#516C\>\<#5F0F\>\<#7684\>\<#6392\>\<#7248\>\<#4F1A\>\<#5360\>\<#636E\>\<#6574\>\<#4E2A\>\<#6BB5\>\<#843D\><with|font|wqy-zenhei|\<#3002\>>\<#4F7F\>\<#7528\>\<#5FEB\>\<#6377\>\<#952E\><key|Alt+#>\<#53EF\>\<#4EE5\>\<#7ED9\>\<#516C\>\<#5F0F\>\<#52A0\>\<#4E0A\>\<#7F16\>\<#53F7\>\<#FF08\>\<#6216\>\<#8005\>\<#5220\>\<#53BB\>
+
+    \<#7F16\>\<#53F7\>\<#FF09\><with|font|wqy-zenhei|\<#3002\>>\<#5FEB\>\<#6377\>\<#952E\><key|Ctrl+Tab>\<#80FD\>\<#591F\>\<#8BA9\>\<#516C\>\<#5F0F\>\<#5728\>\<#884C\>\<#5185\>\<#6A21\>\<#5F0F\>\<#548C\>\<#5355\>\<#884C\>\<#6A21\>\<#5F0F\>\<#95F4\>\<#5207\>\<#6362\>\<#3002\>
+
+    <item*|<menu|\<#63D2\>\<#5165\>|\<#6570\>\<#5B66\>|\<#591A\>\<#884C\>\<#516C\>\<#5F0F\>>\<#6216\>\<#8005\>
+    <key|Alt+&>>
+
+    \<#8FD9\>\<#4E2A\>\<#6761\>\<#76EE\>\<#521B\>\<#5EFA\>\<#4E86\>\<#4E00\>\<#4E2A\><markup|eqnarray<math|<rsup|\<ast\>>>>\<#FF0C\>\<#4E00\>\<#4E2A\>\<#4E09\>\<#5217\>\<#5BBD\>\<#7684\>\<#7C7B\>\<#4F3C\>\<#8868\>\<#683C\>\<#7684\>\<#73AF\>\<#5883\>\<#FF08\>\<#8BE6\>\<#89C1\><hlink|\<#521B\>\<#5EFA\>\<#8868\>\<#683C\>|../../table/man-create-table.zh.tm>\<#FF09\>
+
+    \<#3002\>\<#5728\>\<#8FD9\>\<#4E2A\>\<#73AF\>\<#5883\>\<#4E2D\>\<#53EF\>\<#4EE5\>\<#65B9\>\<#4FBF\>\<#5730\>\<#8F93\>\<#5165\>\<#591A\>\<#884C\>\<#516C\>\<#5F0F\><with|font|wqy-zenhei|\<#FF0C\>>\<#6BD4\>\<#5982\>\<#FF1A\>
+
+    <\eqnarray*>
+      <tformat|<table|<row|<cell|x+0>|<cell|=>|<cell|x>>|<row|<cell|x+<around*|(|-x|)>>|<cell|=>|<cell|0>>|<row|<cell|x+y
+      >|<cell|=>|<cell|y+x>>|<row|<cell|<around*|(|x+y|)>+z>|<cell|=>|<cell|x+<around*|(|y+z|)>>>>>
+    </eqnarray*>
+
+    \<#7B2C\>\<#4E00\>\<#5217\>\<#53F3\>\<#5BF9\>\<#9F50\>\<#FF0C\>\<#7B2C\>\<#4E8C\>\<#5217\>\<#5C45\>\<#4E2D\>\<#FF0C\>\<#7B2C\>\<#4E09\>\<#5217\>\<#5DE6\>\<#5BF9\>\<#9F50\>\<#3002\><markup|eqnarray<math|<rsup|\<ast\>>>>\<#73AF\>\<#5883\>\<#7684\>\<#5178\>\<#578B\>\<#7528\>\<#9014\>\<#5C31\>\<#662F\>\<#663E\>\<#793A\>\<#591A\>\<#6B65\>\<#8BA1\>\<#7B97\>\<#FF1A\>
+
+    <\eqnarray*>
+      <tformat|<table|<row|<cell|<around*|(|e<rsup|sin x>+sin<rsup|>
+      e<rsup|x>|)><rprime|'>>|<cell|=>|<cell|<around*|(|e<rsup|sin
+      x>|)><rprime|'>+<around*|(|sin e<rsup|x>|)><rprime|'>>>|<row|<cell|>|<cell|=>|<cell|<around*|(|sin
+      x|)><rprime|'>e<rsup|sin x>+<around*|(|e<rsup|x>|)><rprime|'>sin
+      e<rsup|x>>>|<row|<cell|>|<cell|=>|<cell|e<rsup|sin x> cos
+      x\<noplus\>+e<rsup|x> sin e<rsup|x>,>>>>
+    </eqnarray*>
+
+    \<#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-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>
+    <associate|font|sys-chinese>
+    <associate|language|chinese>
+  </collection>
+</initial>
+
+<\references>
+  <\collection>
+    <associate|auto-2|<tuple|<with|font-family|<quote|ss>|Insert><with|mode|<quote|math>|\<rightarrow\>><with|font-family|<quote|ss>|Mathematics><with|mode|<quote|math>|\<rightarrow\>><with|font-family|<quote|ss>|Formula><assign|auto-nr|<quote|1>><label|auto-1><write|idx|<tuple|<tuple|<with|font-family|<quote|ss>|Insert>|<with|font-family|<quote|ss>|Mathematics>|<with|font-family|<quote|ss>|Formula>>|<pageref|auto-1>>>
+    or <move|<with|font-size|<quote|0.841>|<with|font-family|<quote|tt>|<with|ornament-color|<quote|#e0e0e0>|ornament-sunny-color|<quote|#f0f0f0>|ornament-shadow-color|<quote|#c0c0c0>|ornament-hpadding|<quote|2ln>|ornament-vpadding|<quote|2ln>|ornament-border|<quote|2ln>|<ornament|<resize|$||<tmlen|-2047>||<tmlen|13056>>>>>>||0.075ex>|?>>
+    <associate|auto-3|<tuple|<with|font|<quote|fireflysung>|<with|font-family|<quote|ss>|\<#63D2\>\<#5165\>><with|mode|<quote|math>|\<rightarrow\>><with|font-family|<quote|ss>|\<#6570\>\<#5B66\>><with|mode|<quote|math>|\<rightarrow\>><with|font-family|<quote|ss>|\<#516C\>\<#5F0F\>><assign|auto-nr|<quote|1>><label|auto-1><write|idx|<tuple|<tuple|<with|font-family|<quote|ss>|\<#63D2\>\<#5165\>>|<with|font-family|<quote|ss>|\<#6570\>\<#5B66\>>|<with|font-family|<quote|ss>|\<#516C\>\<#5F0F\>>>|<pageref|auto-1>>>
+    >\<#6216\>\<#8005\> <move|<with|font-size|<quote|0.841>|<with|font-family|<quote|tt>|<with|ornament-color|<quote|#e0e0e0>|ornament-sunny-color|<quote|#f0f0f0>|ornament-shadow-color|<quote|#c0c0c0>|ornament-hpadding|<quote|2ln>|ornament-vpadding|<quote|2ln>|ornament-border|<quote|2ln>|<ornament|<resize|$||<tmlen|-2047>||<tmlen|14592>>>>>>||0.075ex>|?>>
+    <associate|auto-4|<tuple|<with|font-family|<quote|ss>|\<#63D2\>\<#5165\>><with|mode|<quote|math>|\<rightarrow\>><with|font-family|<quote|ss>|\<#6570\>\<#5B66\>><with|mode|<quote|math>|\<rightarrow\>><with|font-family|<quote|ss>|\<#5355\>\<#884C\>\<#516C\>\<#5F0F\>><assign|auto-nr|<quote|2>><label|auto-2><write|idx|<tuple|<tuple|<with|font-family|<quote|ss>|\<#63D2\>\<#5165\>>|<with|font-family|<quote|ss>|\<#6570\>\<#5B66\>>|<with|font-family|<quote|ss>|\<#5355\>\<#884C\>\<#516C\>\<#5F0F\>>>|<pageref|auto-2>>>
+    \<#6216\>\<#8005\> <move|<with|font-size|<quote|0.841>|<with|font-family|<quote|tt>|<with|ornament-color|<quote|#e0e0e0>|ornament-sunny-color|<quote|#f0f0f0>|ornament-shadow-color|<quote|#c0c0c0>|ornament-hpadding|<quote|2ln>|ornament-vpadding|<quote|2ln>|ornament-border|<quote|2ln>|<ornament|<resize|Alt+$||<tmlen|-2047>||<tmlen|14592>>>>>>||0.075ex>|?>>
+    <associate|auto-5|<tuple|<with|font-family|<quote|ss>|\<#63D2\>\<#5165\>><with|mode|<quote|math>|\<rightarrow\>><with|font-family|<quote|ss>|\<#6570\>\<#5B66\>><with|mode|<quote|math>|\<rightarrow\>><with|font-family|<quote|ss>|\<#591A\>\<#884C\>\<#516C\>\<#5F0F\>><assign|auto-nr|<quote|3>><label|auto-3><write|idx|<tuple|<tuple|<with|font-family|<quote|ss>|\<#63D2\>\<#5165\>>|<with|font-family|<quote|ss>|\<#6570\>\<#5B66\>>|<with|font-family|<quote|ss>|\<#591A\>\<#884C\>\<#516C\>\<#5F0F\>>>|<pageref|auto-3>>>\<#6216\>\<#8005\>
+    <move|<with|font-size|<quote|0.841>|<with|font-family|<quote|tt>|<with|ornament-color|<quote|#e0e0e0>|ornament-sunny-color|<quote|#f0f0f0>|ornament-shadow-color|<quote|#c0c0c0>|ornament-hpadding|<quote|2ln>|ornament-vpadding|<quote|2ln>|ornament-border|<quote|2ln>|<ornament|<resize|Alt+&||<tmlen|-2047>||<tmlen|14592>>>>>>||0.075ex>|?>>
+    <associate|auto-7|<tuple|<with|font-family|<quote|ss>|\<#63D2\>\<#5165\>><with|mode|<quote|math>|\<rightarrow\>><with|font-family|<quote|ss>|\<#6570\>\<#5B66\>><with|mode|<quote|math>|\<rightarrow\>><with|font-family|<quote|ss>|\<#591A\>\<#884C\>\<#516C\>\<#5F0F\>><assign|auto-nr|<quote|3>><label|auto-3><write|idx|<tuple|<tuple|<with|font-family|<quote|ss>|\<#63D2\>\<#5165\>>|<with|font-family|<quote|ss>|\<#6570\>\<#5B66\>>|<with|font-family|<quote|ss>|\<#591A\>\<#884C\>\<#516C\>\<#5F0F\>>>|<pageref|auto-3>>>
+    <flag|\<#672F\>\<#8BED\>\<#8868\>|dark
+    green|entry><assign|auto-nr|<quote|4>><label|auto-4><write|gly|<tuple|normal|\<#591A\>\<#884C\>\<#516C\>\<#5F0F\>|equations|<pageref|auto-4>>>\<#6216\>\<#8005\>
+    <move|<with|font-size|<quote|0.841>|<with|font-family|<quote|tt>|<with|ornament-color|<quote|#e0e0e0>|ornament-sunny-color|<quote|#f0f0f0>|ornament-shadow-color|<quote|#c0c0c0>|ornament-hpadding|<quote|2ln>|ornament-vpadding|<quote|2ln>|ornament-border|<quote|2ln>|<ornament|<resize|Alt+&||<tmlen|-2047>||<tmlen|14592>>>>>>||0.075ex>|?>>
+  </collection>
+</references>
+
+<\auxiliary>
+  <\collection>
+    <\associate|idx>
+      <tuple|<tuple|<with|font-family|<quote|ss>|\<#63D2\>\<#5165\>>|<with|font-family|<quote|ss>|\<#6570\>\<#5B66\>>|<with|font-family|<quote|ss>|\<#516C\>\<#5F0F\>>>|<pageref|auto-1>>
+
+      <tuple|<tuple|<with|font-family|<quote|ss>|\<#63D2\>\<#5165\>>|<with|font-family|<quote|ss>|\<#6570\>\<#5B66\>>|<with|font-family|<quote|ss>|\<#5355\>\<#884C\>\<#516C\>\<#5F0F\>>>|<pageref|auto-2>>
+
+      <tuple|<tuple|<with|font-family|<quote|ss>|\<#63D2\>\<#5165\>>|<with|font-family|<quote|ss>|\<#6570\>\<#5B66\>>|<with|font-family|<quote|ss>|\<#591A\>\<#884C\>\<#516C\>\<#5F0F\>>>|<pageref|auto-3>>
+    </associate>
+  </collection>
+</auxiliary>

main/math/keyboard/man-main.zh.tm

@@ -0,0 +1,46 @@
+<TeXmacs|1.0.7.19>
+
+<style|tmdoc>
+
+<\body>
+  <tmdoc-title|\<#4E3B\>\<#8981\>\<#7684\>\<#6570\>\<#5B66\>\<#7ED3\>\<#6784\>>
+
+  \<#6700\>\<#4E3B\>\<#8981\>\<#7684\>\<#51E0\>\<#4E2A\>\<#6570\>\<#5B66\>\<#7ED3\>\<#6784\>\<#53EF\>\<#4F7F\>\<#7528\><key|math>\<#524D\>\<#7F00\>\<#4EE5\>\<#5982\>\<#4E0B\>\<#65B9\>\<#5F0F\>\<#521B\>\<#5EFA\>:
+
+  <big-table|<descriptive-table|<tformat|<table|<row|<cell|\<#5FEB\>\<#6377\>\<#952E\>>|<cell|\<#76EE\>\<#6807\>>|<cell|\<#4F8B\>\<#5B50\>>>|<row|<cell|<key|math
+  $>>|<cell|\<#6587\>\<#672C\>>|<cell|<math|L=<around|{|x\|x<text|\<#8DB3\>\<#591F\>\<#5927\>>|}>>>>|<row|<cell|<key|math
+  f>>|<cell|\<#5206\>\<#5F0F\>>|<cell|<math|<frac|a|b+c>>>>|<row|<cell|<key|math
+  s>>|<cell|\<#5E73\>\<#65B9\>\<#6839\>>|<cell|<math|<sqrt|x+y>>>>|<row|<cell|<key|math
+  S>>|<cell|<math|n>\<#6B21\>\<#65B9\>\<#6839\>>|<cell|<math|<sqrt|x<rsup|3>+y<rsup|3>|3>>>>|<row|<cell|<key|math
+  n>>|<cell|\<#5426\>\<#5B9A\>>|<cell|<math|<neg|<frac|a|b+c>>>>>>>>|Creation
+  of major mathematical markup.>
+
+  \<#4E0B\>\<#9762\>\<#662F\>\<#6487\>\<#53F7\>\<#548C\>\<#4E0A\>\<#4E0B\>\<#6807\>:
+
+  <big-table|<descriptive-table|<tformat|<table|<row|<cell|\<#5FEB\>\<#6377\>\<#952E\>>|<cell|\<#76EE\>\<#6807\>>|<cell|\<#4F8B\>\<#5B50\>>>|<row|<cell|<key|'>>|<cell|\<#6487\>\<#53F7\>>|<cell|<math|f<rprime|'>>
+  or <math|<around|(|g+h|)><rprime|'''>>>>|<row|<cell|<key|`>>|<cell|\<#53CD\>\<#6487\>\<#53F7\>>|<cell|<math|<lprime|`>f>>>|<row|<cell|<key|_>>|<cell|\<#4E0B\>\<#6807\>>|<cell|<math|x<rsub|n>>
+  or <math|x<rsub|i<rsub|3>>>>>|<row|<cell|<key|^>>|<cell|\<#4E0A\>\<#6807\>>|<cell|<math|x<rsup|2>>,
+  <math|x<rsub|n><rsup|2>> or <math|\<mathe\><rsup|\<mathe\><rsup|x>>>>>|<row|<cell|<key|math
+  l _>>|<cell|\<#5DE6\>\<#4E0B\>\<#6807\>>|<cell|<math|<lsub|2>x>>>|<row|<cell|<key|math
+  l ^>>|<cell|\<#5DE6\>\<#4E0A\>\<#6807\>>|<cell|<math|<lsup|\<pi\>>x> or
+  <math|<lsub|\<ast\>><lsup|\<ast\>>He<rsub|\<ast\>><rsup|\<ast\>>>>>>>>|Creation
+  of primes, subscripts and superscripts>
+
+  \<#53E6\>\<#5916\>\<#4E00\>\<#4E9B\>\<#91CD\>\<#8981\>\<#7684\>\<#6570\>\<#5B66\>\<#7ED3\>\<#6784\>\<#5B9E\>\<#9645\>\<#4E0A\>\<#662F\>\<#5E7F\>\<#4E49\>\<#7684\>\<#8868\>\<#683C\>,\<#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>.
+
+  <tmdoc-copyright|1998--2002|Joris van der Hoeven>
+
+  <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>
+    <associate|font|sys-chinese>
+    <associate|language|chinese>
+  </collection>
+</initial>

main/math/man-math.zh.tm

@@ -0,0 +1,64 @@
+<TeXmacs|1.0.7.19>
+
+<style|tmdoc>
+
+<\body>
+  <tmdoc-title|\<#6570\>\<#5B66\>\<#516C\>\<#5F0F\>>
+
+  <TeXmacs>\<#8981\>\<#89E3\>\<#51B3\>\<#7684\>\<#4E3B\>\<#8981\>\<#95EE\>\<#9898\>\<#4E4B\>\<#4E00\>\<#4FBF\>\<#662F\>\<#6570\>\<#5B66\>\<#516C\>\<#5F0F\>\<#7684\>\<#7F16\>\<#8F91\>.If
+  the cursor is inside a<nbsp>formula (<abbr|i.e.> inside ``math mode''),
+  then the mode sensitive menus and toolbars provide buttons for entering
+  common mathematical constructs. Similarly, as will be detailed in this
+  section, the bahaviour of the keyboard changes so as to allow for the rapid
+  typing of mathematical symbols. For instance, typing <key|- \<gtr\>>
+  inserts the arrow <math|\<rightarrow\>>.
+
+  Starting with version 1.0.7.10, <TeXmacs> also incorporates several
+  features for the ``semantic'' editing of mathematical formulas, which will
+  be described at the end of this section. When used appropriately, this
+  allows you to write documents in which all formulas are at least correct
+  from a syntactical point of view. A ``syntax corrector'' is included to
+  assist you with this task. Documents with more semantics are for instance
+  useful when using formulas as inputs for a computer algebra system. Such
+  documents are also less likely to contain ``typos''. Other interesting
+  features, such as semantic search and replace, should be developed in the
+  feature.
+
+  <\traverse>
+    <branch|\<#5728\>\<#6587\>\<#6863\>\<#4E2D\>\<#8F93\>\<#5165\>\<#6570\>\<#5B66\>\<#516C\>\<#5F0F\>|keyboard/man-enter-math.zh.tm>
+
+    <branch|\<#6570\>\<#5B66\>\<#7B26\>\<#53F7\>|keyboard/man-symbols.zh.tm>
+
+    <branch|\<#4E3B\>\<#8981\>\<#6570\>\<#5B66\>\<#7ED3\>\<#6784\>|keyboard/man-main.zh.tm>
+
+    <branch|\<#5927\>\<#578B\>\<#5206\>\<#9694\>\<#7B26\>|keyboard/man-large.zh.tm>
+
+    <branch|\<#5927\>\<#578B\>\<#7B97\>\<#7B26\>|keyboard/man-big.zh.tm>
+
+    <branch|Wide accents|keyboard/man-wide.zh.tm>
+
+    <branch|Semantic editing facilities|semantics/man-semantics.zh.tm>
+
+    <branch|Common errors and syntax correction|semantics/man-syntax-correction.zh.tm>
+
+    <branch|Semantics of mathematical symbols|semantics/man-semantics-symbols.zh.tm>
+
+    <branch|Customized mathematical semantics|semantics/man-customized-semantics.zh.tm>
+  </traverse>
+
+  <tmdoc-copyright|1998--2011|Joris van der Hoeven>
+
+  <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>
+    <associate|font|sys-chinese>
+    <associate|language|chinese>
+  </collection>
+</initial>