diff --git a/devel/format/basics/tm-docs.zh.tm b/devel/format/basics/tm-docs.zh.tm
index c65d9b0..af3a027 100644
--- a/devel/format/basics/tm-docs.zh.tm
+++ b/devel/format/basics/tm-docs.zh.tm
@@ -1,18 +1,18 @@
-<TeXmacs|1.99.2>
+<TeXmacs|1.99.4>
 
 <style|<tuple|tmdoc|chinese>>
 
 <\body>
   <tmdoc-title|<TeXmacs>\<#7684\>\<#6587\>\<#6863\>>
 
-  <TeXmacs>\<#7684\>\<#6587\>\<#6863\>\<#7247\>\<#6BB5\>\<#53EF\>\<#770B\>\<#4F5C\>\<#662F\><TeXmacs>\<#6811\>\<#FF0C\>\<#800C\><TeXmacs>\<#6587\>\<#6863\>\<#5219\>\<#662F\>\<#4E00\>\<#68F5\>\<#7279\>\<#6B8A\>\<#5F62\>\<#5F0F\>\<#7684\>\<#6811\>.\<#4E0B\>\<#9762\>\<#6211\>\<#4EEC\>\<#5C31\>\<#5C06\>\<#5177\>\<#4F53\>\<#63CF\>\<#7ED8\>\<#8FD9\>\<#68F5\>\<#6811\>.<TeXmacs>\<#6587\>\<#6863\>\<#6811\>\<#7684\>\<#6839\>\<#8282\>\<#70B9\>\<#5FC5\>\<#987B\>\<#662F\><markup|document>\<#6807\>\<#7B7E\>\<#FF0C\>\<#800C\>\<#5176\>\<#5B50\>\<#8282\>\<#70B9\>\<#5FC5\>\<#987B\>\<#662F\>\<#4EE5\>\<#4E0B\>\<#5F62\>\<#5F0F\>\<#4E4B\>\<#4E00\>\<#FF1A\>
+  <TeXmacs>\<#7684\>\<#6587\>\<#6863\>\<#7247\>\<#6BB5\>\<#53EF\>\<#770B\>\<#4F5C\>\<#662F\><TeXmacs>\<#6811\>\<#FF0C\>\<#800C\><TeXmacs>\<#6587\>\<#6863\>\<#5219\>\<#662F\>\<#4E00\>\<#68F5\>\<#7279\>\<#6B8A\>\<#5F62\>\<#5F0F\>\<#7684\>\<#6811\>\<#3002\>\<#4E0B\>\<#9762\>\<#6211\>\<#4EEC\>\<#5C31\>\<#5C06\>\<#5177\>\<#4F53\>\<#63CF\>\<#7ED8\>\<#8FD9\>\<#68F5\>\<#6811\>\<#3002\><TeXmacs>\<#6587\>\<#6863\>\<#6811\>\<#7684\>\<#6839\>\<#8282\>\<#70B9\>\<#5FC5\>\<#987B\>\<#662F\><markup|document>\<#6807\>\<#7B7E\>\<#FF0C\>\<#800C\>\<#5176\>\<#5B50\>\<#8282\>\<#70B9\>\<#5FC5\>\<#987B\>\<#662F\>\<#4EE5\>\<#4E0B\>\<#5F62\>\<#5F0F\>\<#4E4B\>\<#4E00\>\<#FF1A\>
 
   <\explain|<explain-macro|TeXmacs|version><explain-synopsis|<TeXmacs>\<#7684\>\<#7248\>\<#672C\>>>
-    \<#8FD9\>\<#4E2A\>\<#547D\>\<#4EE4\>\<#6807\>\<#7B7E\>\<#6307\>\<#5B9A\>\<#4E86\>\<#4FDD\>\<#5B58\>\<#8BE5\>\<#6587\>\<#6863\>\<#7684\><TeXmacs>\<#7684\>\<#7248\>\<#672C\>.
+    \<#8FD9\>\<#4E2A\>\<#547D\>\<#4EE4\>\<#6807\>\<#7B7E\>\<#6307\>\<#5B9A\>\<#4E86\>\<#8BE5\>\<#6587\>\<#6863\>\<#7684\><TeXmacs>\<#7684\>\<#7248\>\<#672C\>\<#3002\>
   </explain>
 
   <\explain|<explain-macro|project|ref><explain-synopsis|\<#5DE5\>\<#7A0B\>>>
-    \<#6587\>\<#6863\>\<#6240\>\<#5C5E\>\<#7684\>\<#5DE5\>\<#7A0B\>\<#FF0C\>\<#53EF\>\<#6709\>\<#53EF\>\<#65E0\>.
+    \<#6587\>\<#6863\>\<#6240\>\<#5C5E\>\<#7684\>\<#5DE5\>\<#7A0B\>\<#FF0C\>\<#53EF\>\<#6709\>\<#53EF\>\<#65E0\>\<#3002\>
   </explain>
 
   <\explain>
@@ -20,31 +20,31 @@
 
     <explain-macro|style|<with|font-shape|right|<explain-macro|tuple|style|pack-1|<math|\<cdots\>>|pack-n>>><explain-synopsis|\<#6837\>\<#5F0F\>\<#548C\>\<#5B8F\>\<#5305\>>
   <|explain>
-    \<#6587\>\<#6863\>\<#7684\>\<#6837\>\<#5F0F\>\<#548C\>\<#989D\>\<#5916\>\<#7684\>\<#5B8F\>\<#5305\>\<#FF0C\>\<#53EF\>\<#6709\>\<#53EF\>\<#65E0\>.
+    \<#6587\>\<#6863\>\<#7684\>\<#6837\>\<#5F0F\>\<#548C\>\<#989D\>\<#5916\>\<#7684\>\<#5B8F\>\<#5305\>\<#FF0C\>\<#53EF\>\<#6709\>\<#53EF\>\<#65E0\>\<#3002\>
   </explain>
 
   <\explain|<explain-macro|body|content><explain-synopsis|\<#6587\>\<#6863\>\<#7684\>\<#4E3B\>\<#4F53\>>>
-    \<#8FD9\>\<#4E2A\>\<#547D\>\<#4EE4\>\<#6807\>\<#7B7E\>\<#5236\>\<#5B9A\>\<#4E86\>\<#6587\>\<#6863\>\<#7684\>\<#4E3B\>\<#4F53\>.
+    \<#8FD9\>\<#4E2A\>\<#547D\>\<#4EE4\>\<#6807\>\<#7B7E\>\<#6307\>\<#5B9A\>\<#4E86\>\<#6587\>\<#6863\>\<#7684\>\<#4E3B\>\<#4F53\>\<#3002\>
   </explain>
 
   <\explain|<label|initial-env><explain-macro|initial|table><explain-synopsis|\<#521D\>\<#59CB\>\<#5316\>\<#73AF\>\<#5883\>>>
-    \<#6587\>\<#6863\>\<#7684\>\<#521D\>\<#59CB\>\<#5316\>\<#73AF\>\<#5883\>\<#FF0C\>\<#5982\>\<#9875\>\<#9762\>\<#5927\>\<#5C0F\>\<#3001\>\<#8865\>\<#767D\>\<#7B49\>\<#4FE1\>\<#606F\>\<#FF0C\>\<#53EF\>\<#9009\>.<inactive|<arg|table>>\<#7684\>\<#5F62\>\<#5F0F\>\<#662F\><explain-macro|collection|binding-1|<math|\<cdots\>>|binding-n>.\<#5176\>\<#4E2D\>\<#6BCF\>\<#4E00\>\<#4E2A\><src-arg|binding-<no-break>i>\<#7684\>\<#5F62\>\<#5F0F\>\<#90FD\>\<#662F\><explain-macro|associate|var-i|val-i>\<#FF0C\>\<#610F\>\<#601D\>\<#662F\>\<#5C06\>\<#521D\>\<#59CB\>\<#503C\><inactive|<arg|val-i>>\<#5173\>\<#8054\>\<#5230\>\<#73AF\>\<#5883\>\<#53D8\>\<#91CF\><inactive|<arg|var-i>>\<#4E0A\>.\<#6CA1\>\<#6709\>\<#51FA\>\<#73B0\>\<#5728\><inactive|<arg|table>>\<#91CC\>\<#9762\>\<#7684\>\<#73AF\>\<#5883\>\<#53D8\>\<#91CF\>\<#7684\>\<#521D\>\<#59CB\>\<#503C\>\<#7531\>\<#6837\>\<#5F0F\>\<#6587\>\<#4EF6\>\<#548C\>\<#5B8F\>\<#5305\>\<#51B3\>\<#5B9A\>.
+    \<#6587\>\<#6863\>\<#7684\>\<#521D\>\<#59CB\>\<#5316\>\<#73AF\>\<#5883\>\<#FF0C\>\<#5982\>\<#9875\>\<#9762\>\<#5927\>\<#5C0F\>\<#3001\>\<#8865\>\<#767D\>\<#7B49\>\<#4FE1\>\<#606F\>\<#FF0C\>\<#53EF\>\<#9009\>\<#3002\><inactive|<arg|table>>\<#7684\>\<#5F62\>\<#5F0F\>\<#662F\><explain-macro|collection|binding-1|<math|\<cdots\>>|binding-n>\<#3002\>\<#5176\>\<#4E2D\>\<#6BCF\>\<#4E00\>\<#4E2A\><src-arg|binding-<no-break>i>\<#7684\>\<#5F62\>\<#5F0F\>\<#90FD\>\<#662F\><explain-macro|associate|var-i|val-i>\<#FF0C\>\<#610F\>\<#601D\>\<#662F\>\<#5C06\>\<#521D\>\<#59CB\>\<#503C\><inactive|<arg|val-i>>\<#5173\>\<#8054\>\<#5230\>\<#73AF\>\<#5883\>\<#53D8\>\<#91CF\><inactive|<arg|var-i>>\<#4E0A\>\<#3002\>\<#6CA1\>\<#6709\>\<#51FA\>\<#73B0\>\<#5728\><inactive|<arg|table>>\<#91CC\>\<#9762\>\<#7684\>\<#73AF\>\<#5883\>\<#53D8\>\<#91CF\>\<#7684\>\<#521D\>\<#59CB\>\<#503C\>\<#7531\>\<#6837\>\<#5F0F\>\<#6587\>\<#4EF6\>\<#548C\>\<#5B8F\>\<#5305\>\<#51B3\>\<#5B9A\>\<#3002\>
   </explain>
 
   <\explain|<explain-macro|references|table><explain-synopsis|\<#5F15\>\<#7528\>>>
-    \<#6587\>\<#6863\>\<#4E2D\>\<#6240\>\<#6709\>\<#6709\>\<#6548\>\<#5F15\>\<#7528\>\<#7684\>\<#5217\>\<#8868\>\<#FF0C\>\<#53EF\>\<#9009\>.\<#5176\>\<#5B9E\>\<#8FD9\>\<#4E9B\>\<#4FE1\>\<#606F\>\<#662F\>\<#53EF\>\<#4EE5\>\<#81EA\>\<#52A8\>\<#751F\>\<#6210\>\<#7684\>\<#FF0C\>\<#4F46\>\<#9700\>\<#8981\>\<#591A\>\<#6B21\>\<#626B\>\<#63CF\>\<#5168\>\<#6587\>.\<#4E3A\>\<#4E86\>\<#4F7F\>\<#7F16\>\<#8F91\>\<#5668\>\<#5728\>\<#6253\>\<#5F00\>\<#6587\>\<#6863\>\<#7684\>\<#65F6\>\<#5019\>\<#66F4\>\<#5FEB\>\<#FF0C\>\<#5C31\>\<#628A\>\<#5F15\>\<#7528\>\<#76F4\>\<#63A5\>\<#548C\>\<#6587\>\<#6863\>\<#5B58\>\<#5728\>\<#4E86\>\<#4E00\>\<#8D77\>.
+    \<#6587\>\<#6863\>\<#4E2D\>\<#6240\>\<#6709\>\<#6709\>\<#6548\>\<#5F15\>\<#7528\>\<#7684\>\<#5217\>\<#8868\>\<#FF0C\>\<#53EF\>\<#9009\>\<#3002\>\<#5176\>\<#5B9E\>\<#8FD9\>\<#4E9B\>\<#4FE1\>\<#606F\>\<#662F\>\<#53EF\>\<#4EE5\>\<#81EA\>\<#52A8\>\<#751F\>\<#6210\>\<#7684\>\<#FF0C\>\<#4F46\>\<#9700\>\<#8981\>\<#591A\>\<#6B21\>\<#626B\>\<#63CF\>\<#5168\>\<#6587\>\<#3002\>\<#4E3A\>\<#4E86\>\<#4F7F\>\<#7F16\>\<#8F91\>\<#5668\>\<#5728\>\<#6253\>\<#5F00\>\<#6587\>\<#6863\>\<#7684\>\<#65F6\>\<#5019\>\<#66F4\>\<#5FEB\>\<#FF0C\>\<#5C31\>\<#628A\>\<#5F15\>\<#7528\>\<#76F4\>\<#63A5\>\<#2018\>\<#2018\>\<#7F13\>\<#5B58\>\<#2019\>'\<#5728\>\<#6587\>\<#6863\>\<#4E2D\>\<#4E86\>\<#3002\>
 
-    <inactive|<arg|table>>\<#548C\><markup|initial>\<#7684\>\<#7C7B\>\<#4F3C\>.\<#4E0D\>\<#540C\>\<#4E4B\>\<#5904\>\<#5728\>\<#4E8E\>\<#8FD9\>\<#91CC\>\<#5C06\>\<#5143\>\<#7EC4\>\<#548C\>\<#6807\>\<#7B7E\>\<#5173\>\<#8054\>\<#5728\>\<#4E86\>\<#4E00\>\<#8D77\>.\<#5143\>\<#7EC4\>\<#53EF\>\<#4E3A\><explain-macro|tuple|content|page-nr>\<#6216\>\<#4E3A\><explain-macro|tuple|content|page-nr|file>.<inactive|<arg|content>>\<#662F\>\<#6307\>\<#5411\>\<#6807\>\<#7B7E\>\<#6240\>\<#663E\>\<#793A\>\<#7684\>\<#6587\>\<#672C\>,<inactive|<arg|page-nr>>\<#662F\>\<#76F8\>\<#5E94\>\<#7684\>\<#9875\>\<#53F7\>\<#FF0C\>\<#5176\>\<#4E2D\>\<#53EF\>\<#6709\>\<#53EF\>\<#65E0\>\<#7684\><inactive|<arg|file>>\<#8868\>\<#793A\>\<#6807\>\<#7B7E\>\<#6240\>\<#5B9A\>\<#4E49\>\<#7684\>\<#6587\>\<#6863\>\<#FF08\>\<#8FD9\>\<#53EA\>\<#6709\>\<#5728\>\<#8BE5\>\<#6587\>\<#6863\>\<#5C5E\>\<#4E8E\>\<#540C\>\<#4E00\>\<#5DE5\>\<#7A0B\>\<#65F6\>\<#4F7F\>\<#7528\>\<#FF09\>.
+    <inactive|<arg|table>>\<#548C\><markup|initial>\<#7684\>\<#7C7B\>\<#4F3C\>\<#3002\>\<#4E0D\>\<#540C\>\<#4E4B\>\<#5904\>\<#5728\>\<#4E8E\>\<#8FD9\>\<#91CC\>\<#5C06\>\<#5143\>\<#7EC4\>\<#548C\>\<#6807\>\<#7B7E\>\<#5173\>\<#8054\>\<#5728\>\<#4E86\>\<#4E00\>\<#8D77\>\<#3002\>\<#5143\>\<#7EC4\>\<#53EF\>\<#4E3A\><explain-macro|tuple|content|page-nr>\<#6216\>\<#4E3A\><explain-macro|tuple|content|page-nr|file>\<#3002\><inactive|<arg|content>>\<#662F\>\<#6307\>\<#5411\>\<#6807\>\<#7B7E\>\<#6240\>\<#663E\>\<#793A\>\<#7684\>\<#6587\>\<#672C\>\<#FF0C\><inactive|<arg|page-nr>>\<#662F\>\<#76F8\>\<#5E94\>\<#7684\>\<#9875\>\<#53F7\>\<#FF0C\>\<#5176\>\<#4E2D\>\<#53EF\>\<#6709\>\<#53EF\>\<#65E0\>\<#7684\><inactive|<arg|file>>\<#8868\>\<#793A\>\<#6807\>\<#7B7E\>\<#6240\>\<#5B9A\>\<#4E49\>\<#7684\>\<#6587\>\<#6863\>\<#FF08\>\<#8FD9\>\<#53EA\>\<#6709\>\<#5728\>\<#8BE5\>\<#6587\>\<#6863\>\<#5C5E\>\<#4E8E\>\<#540C\>\<#4E00\>\<#5DE5\>\<#7A0B\>\<#65F6\>\<#4F7F\>\<#7528\>\<#FF09\>\<#3002\>
   </explain>
 
   <\explain|<explain-macro|auxiliary|table><explain-synopsis|\<#6587\>\<#6863\>\<#7684\>\<#9644\>\<#52A0\>\<#6570\>\<#636E\>>>
-    \<#8FD9\>\<#4E2A\>\<#6807\>\<#7B7E\>\<#4E2D\>\<#4E3B\>\<#8981\>\<#653E\>\<#4E00\>\<#4E9B\>\<#6587\>\<#6863\>\<#7684\>\<#9644\>\<#52A0\>\<#6570\>\<#636E\>\<#FF0C\>\<#53EF\>\<#6709\>\<#53EF\>\<#65E0\>.\<#901A\>\<#5E38\>\<#FF0C\>\<#8FD9\>\<#4E9B\>\<#9644\>\<#52A0\>\<#6570\>\<#636E\>\<#662F\>\<#53EF\>\<#4EE5\>\<#4ECE\>\<#6587\>\<#6863\>\<#6B63\>\<#6587\>\<#6B63\>\<#6587\>\<#4E2D\>\<#63D0\>\<#53D6\>\<#51FA\>\<#6765\>\<#7684\>.\<#56E0\>\<#4E3A\>\<#63D0\>\<#53D6\>\<#8FD9\>\<#4E9B\>\<#6570\>\<#636E\>\<#5F80\>\<#5F80\>\<#9700\>\<#8981\>\<#4E00\>\<#5B9A\>\<#65F6\>\<#95F4\>\<#548C\>\<#989D\>\<#5916\>\<#7684\>\<#5DE5\>\<#5177\>\<#FF0C\>\<#800C\>\<#4E14\>\<#4F60\>\<#7684\>\<#7CFB\>\<#7EDF\>\<#4E0A\>\<#4E0D\>\<#4E00\>\<#5B9A\>\<#6709\>\<#8FD9\>\<#4E9B\>\<#5DE5\>\<#5177\>.\<#6240\>\<#4EE5\>\<#5B58\>\<#50A8\>\<#8FD9\>\<#4E9B\>\<#6570\>\<#636E\>\<#8FD8\>\<#662F\>\<#975E\>\<#5E38\>\<#6709\>\<#5FC5\>\<#8981\>\<#7684\>.<inactive|<arg|table>>\<#7684\>\<#683C\>\<#5F0F\>\<#548C\><markup|initial>\<#4E0E\><markup|references>\<#4E2D\><inactive|<arg|table>>\<#7684\>\<#683C\>\<#5F0F\>\<#7C7B\>\<#4F3C\>,\<#5C06\>\<#9644\>\<#52A0\>\<#5185\>\<#5BB9\>\<#548C\>\<#4E00\>\<#4E9B\>\<#952E\>\<#5173\>\<#8054\>\<#8D77\>\<#6765\>.\<#6807\>\<#51C6\>\<#7684\>\<#952E\>\<#4E3B\>\<#8981\>\<#6709\><verbatim|bib>,
-    <verbatim|toc>, <verbatim|idx>, <verbatim|gly>\<#7B49\>\<#7B49\>.
+    \<#8FD9\>\<#4E2A\>\<#6807\>\<#7B7E\>\<#4E2D\>\<#4E3B\>\<#8981\>\<#653E\>\<#4E00\>\<#4E9B\>\<#6587\>\<#6863\>\<#7684\>\<#9644\>\<#52A0\>\<#6570\>\<#636E\>\<#FF0C\>\<#53EF\>\<#6709\>\<#53EF\>\<#65E0\>\<#3002\>\<#901A\>\<#5E38\>\<#FF0C\>\<#8FD9\>\<#4E9B\>\<#9644\>\<#52A0\>\<#6570\>\<#636E\>\<#662F\>\<#53EF\>\<#4EE5\>\<#4ECE\>\<#6587\>\<#6863\>\<#6B63\>\<#6587\>\<#6B63\>\<#6587\>\<#4E2D\>\<#63D0\>\<#53D6\>\<#51FA\>\<#6765\>\<#7684\>\<#3002\>\<#56E0\>\<#4E3A\>\<#63D0\>\<#53D6\>\<#8FD9\>\<#4E9B\>\<#6570\>\<#636E\>\<#5F80\>\<#5F80\>\<#9700\>\<#8981\>\<#4E00\>\<#5B9A\>\<#65F6\>\<#95F4\>\<#548C\>\<#989D\>\<#5916\>\<#7684\>\<#5DE5\>\<#5177\>\<#FF0C\>\<#800C\>\<#4E14\>\<#4F60\>\<#7684\>\<#7CFB\>\<#7EDF\>\<#4E0A\>\<#4E0D\>\<#4E00\>\<#5B9A\>\<#6709\>\<#8FD9\>\<#4E9B\>\<#5DE5\>\<#5177\>\<#3002\>\<#6240\>\<#4EE5\>\<#5B58\>\<#50A8\>\<#8FD9\>\<#4E9B\>\<#6570\>\<#636E\>\<#8FD8\>\<#662F\>\<#975E\>\<#5E38\>\<#6709\>\<#5FC5\>\<#8981\>\<#7684\>\<#3002\><inactive|<arg|table>>\<#7684\>\<#683C\>\<#5F0F\>\<#548C\><markup|initial>\<#4E0E\><markup|references>\<#4E2D\><inactive|<arg|table>>\<#7684\>\<#683C\>\<#5F0F\>\<#7C7B\>\<#4F3C\>\<#FF0C\>\<#5C06\>\<#9644\>\<#52A0\>\<#5185\>\<#5BB9\>\<#548C\>\<#4E00\>\<#4E9B\>\<#952E\>\<#5173\>\<#8054\>\<#8D77\>\<#6765\>\<#3002\>\<#6807\>\<#51C6\>\<#7684\>\<#952E\>\<#4E3B\>\<#8981\>\<#6709\><verbatim|bib>,
+    <verbatim|toc>, <verbatim|idx>, <verbatim|gly>\<#7B49\>\<#7B49\>\<#3002\>
   </explain>
 
   <\example>
-    \<#4E00\>\<#7BC7\>\<#5185\>\<#5BB9\>\<#4E3A\>``\<#4F60\>\<#597D\>\<#FF0C\>\<#4E16\>\<#754C\>\<#FF01\>
-    ''\<#7684\>\<#6587\>\<#7AE0\>\<#8868\>\<#793A\>\<#4E3A\>\<#FF1A\>
+    \<#4E00\>\<#7BC7\>\<#5185\>\<#5BB9\>\<#4E3A\>\P\<#4F60\>\<#597D\>\<#FF0C\>\<#4E16\>\<#754C\>\<#FF01\>
+    \Q\<#7684\>\<#6587\>\<#7AE0\>\<#8868\>\<#793A\>\<#4E3A\>\<#FF1A\>
 
     <\equation*>
       <tree|<text|<markup|document>>|<tree|<text|<markup|TeXmacs>>|<text|<TeXmacs-version>>>|<tree|<text|<markup|style>>|article>|<tree|<text|<markup|body>>|<tree|<text|<markup|document>>|\<#4F60\>\<#597D\>\<#FF0C\>\<#4E16\>\<#754C\>\<#FF01\>>>>
@@ -59,4 +59,7 @@
   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>
\ No newline at end of file
+</body>
+
+<initial|<\collection>
+</collection>>
\ No newline at end of file
diff --git a/devel/format/basics/tm-tree.zh.tm b/devel/format/basics/tm-tree.zh.tm
index 3bd0ede..83c15e5 100644
--- a/devel/format/basics/tm-tree.zh.tm
+++ b/devel/format/basics/tm-tree.zh.tm
@@ -1,48 +1,48 @@
-<TeXmacs|1.99.2>
+<TeXmacs|1.99.4>
 
 <style|<tuple|tmdoc|chinese>>
 
 <\body>
   <tmdoc-title|<TeXmacs>\<#6811\>>
 
-  \<#6240\>\<#6709\>\<#7684\><with|font|roman|<TeXmacs>>\<#6587\>\<#6863\>\<#6216\>\<#8005\>\<#6587\>\<#6863\>\<#7247\>\<#6BB5\>\<#90FD\>\<#80FD\>\<#770B\>\<#4F5C\>\<#662F\>\<#6811\>.\<#4F8B\>\<#5982\>\<#8FD9\>\<#68F5\>\<#6811\>
+  \<#6240\>\<#6709\>\<#7684\><with|font|roman|<TeXmacs>>\<#6587\>\<#6863\>\<#6216\>\<#8005\>\<#6587\>\<#6863\>\<#7247\>\<#6BB5\>\<#90FD\>\<#80FD\>\<#770B\>\<#4F5C\>\<#662F\>\<#6811\>\<#3002\>\<#4F8B\>\<#5982\>\<#8FD9\>\<#68F5\>\<#6811\>
 
   <\equation*>
     <tree|<text|<markup|with>>|mode|math|<tree|<text|<markup|concat>>|x+y+|<tree|<text|<markup|frac>>|1|2>|+|<tree|<text|<markup|sqrt>>|y+z>>>
   </equation*>
 
-  \<#5C31\>\<#662F\>\<#4E0B\>\<#9762\>\<#8FD9\>\<#4E2A\>\<#516C\>\<#5F0F\>\<#7684\>\<#4E00\>\<#79CD\>\<#5178\>\<#578B\>\<#7684\>\<#8868\>\<#793A\>.
+  \<#5C31\>\<#662F\>\<#4E0B\>\<#9762\>\<#8FD9\>\<#4E2A\>\<#516C\>\<#5F0F\>\<#7684\>\<#4E00\>\<#79CD\>\<#5178\>\<#578B\>\<#7684\>\<#8868\>\<#793A\>\<#3002\>
 
   <\equation>
     <label|tm-tree-ex>x+y+<frac|1|2>+<sqrt|y+z>
   </equation>
 
-  <paragraph|<TeXmacs>\<#6811\>\<#7684\>\<#5185\>\<#90E8\>\<#7ED3\>\<#70B9\>>
+  <paragraph|<TeXmacs>\<#6811\>\<#7684\>\<#5185\>\<#90E8\>\<#8282\>\<#70B9\>>
 
-  <TeXmacs>\<#6811\>\<#7684\>\<#5185\>\<#90E8\>\<#7ED3\>\<#70B9\>\<#90FD\>\<#662F\>\<#5B57\>\<#7B26\>\<#4E32\>\<#7B26\>\<#53F7\>\<#FF0C\>\<#800C\>\<#5176\>\<#53F6\>\<#7ED3\>\<#70B9\>\<#90FD\>\<#662F\>\<#666E\>\<#901A\>\<#5B57\>\<#7B26\>\<#4E32\>.\<#5B57\>\<#7B26\>\<#4E32\>\<#7B26\>\<#53F7\>\<#548C\>\<#5B57\>\<#7B26\>\<#4E32\>\<#7684\>\<#533A\>\<#522B\>\<#53EF\>\<#4EE5\>\<#4ECE\>\<#8FD9\>\<#70B9\>\<#6765\>\<#8FA8\>\<#522B\>\<#FF1A\><TeXmacs>\<#5185\>\<#90E8\>\<#5C06\>\<#6BCF\>\<#4E00\>\<#4E2A\>\<#7B26\>\<#53F7\>\<#5BF9\>\<#5E94\>\<#4E8E\>\<#4E00\>\<#4E2A\>\<#552F\>\<#4E00\>\<#7684\>\<#7F16\>\<#53F7\>\<#FF0C\>\<#4EE5\>\<#4FBF\>\<#5FEB\>\<#901F\>\<#5224\>\<#65AD\>\<#4E24\>\<#4E2A\>\<#7B26\>\<#53F7\>\<#662F\>\<#5426\>\<#76F8\>\<#540C\>.
+  <TeXmacs>\<#6811\>\<#7684\>\<#5185\>\<#90E8\>\<#8282\>\<#70B9\>\<#90FD\>\<#662F\>\<#5B57\>\<#7B26\>\<#4E32\>\<#7B26\>\<#53F7\>\<#FF0C\>\<#800C\>\<#5176\>\<#53F6\>\<#8282\>\<#70B9\>\<#90FD\>\<#662F\>\<#666E\>\<#901A\>\<#5B57\>\<#7B26\>\<#4E32\>\<#3002\>\<#5B57\>\<#7B26\>\<#4E32\>\<#7B26\>\<#53F7\>\<#548C\>\<#5B57\>\<#7B26\>\<#4E32\>\<#7684\>\<#533A\>\<#522B\>\<#53EF\>\<#4EE5\>\<#4ECE\>\<#8FD9\>\<#70B9\>\<#6765\>\<#8FA8\>\<#522B\>\<#FF1A\><TeXmacs>\<#5185\>\<#90E8\>\<#5C06\>\<#6BCF\>\<#4E00\>\<#4E2A\>\<#7B26\>\<#53F7\>\<#5BF9\>\<#5E94\>\<#4E8E\>\<#4E00\>\<#4E2A\>\<#552F\>\<#4E00\>\<#7684\>\<#7F16\>\<#53F7\>\<#FF0C\>\<#4EE5\>\<#4FBF\>\<#5FEB\>\<#901F\>\<#5224\>\<#65AD\>\<#4E24\>\<#4E2A\>\<#7B26\>\<#53F7\>\<#662F\>\<#5426\>\<#76F8\>\<#540C\>\<#3002\>
 
-  <paragraph|<TeXmacs>\<#6811\>\<#7684\>\<#53F6\>\<#7ED3\>\<#70B9\>>
+  <paragraph|<TeXmacs>\<#6811\>\<#7684\>\<#53F6\>\<#8282\>\<#70B9\>>
 
-  \<#5F53\>\<#524D\>\<#FF0C\>\<#6240\>\<#6709\>\<#7684\>\<#5B57\>\<#7B26\>\<#4E32\>\<#90FD\>\<#7528\><em|\<#901A\>\<#7528\><TeXmacs>\<#7F16\>\<#7801\>>\<#6765\>\<#8868\>\<#793A\>.\<#9664\>\<#4E86\>``<verbatim|\<less\>>''\<#548C\>``<verbatim|\<gtr\>>''\<#FF0C\>\<#8FD9\>\<#79CD\>\<#7F16\>\<#7801\>\<#548C\>Cork\<#5B57\>\<#4F53\>\<#7684\>\<#7F16\>\<#7801\>\<#4E00\>\<#81F4\>.\<#7279\>\<#6B8A\>\<#6269\>\<#5C55\>\<#5B57\>\<#7B26\>\<#7531\>\<#8D77\>\<#59CB\>\<#4E8E\>``<verbatim|\<less\>>''\<#7EC8\>\<#6B62\>\<#4E8E\>``<verbatim|\<gtr\>>''\<#5B57\>\<#7B26\>\<#5E8F\>\<#5217\>\<#8868\>\<#793A\>.\<#4F8B\>\<#5982\>\<#FF0C\><verbatim|\<less\>alpha\<gtr\>>\<#8868\>\<#793A\>\<#5B57\>\<#6BCD\>\<alpha\>.<em|\<#901A\>\<#7528\><TeXmacs>\<#7F16\>\<#7801\>>\<#4E2D\>\<#5B57\>\<#7B26\>\<#7684\>\<#8BED\>\<#4E49\>\<#4E0D\>\<#4F9D\>\<#8D56\>\<#4E8E\>\<#4E0A\>\<#4E0B\>\<#6587\>\<#FF08\>\<#76EE\>\<#524D\>\<#FF0C\>\<#897F\>\<#91CC\>\<#5C14\>\<#5B57\>\<#7B26\>\<#662F\>\<#4E00\>\<#4E2A\>\<#4F8B\>\<#5916\>\<#FF09\>.\<#6362\>\<#53E5\>\<#8BDD\>\<#8BF4\>,\<#901A\>\<#7528\><TeXmacs>\<#7F16\>\<#7801\>\<#53EF\>\<#4EE5\>\<#770B\>\<#4F5C\>\<#662F\>Unicode\<#7684\>\<#7C7B\>\<#4F3C\>\<#7269\>.\<#6211\>\<#4EEC\>\<#4EE5\>\<#540E\>\<#53EF\>\<#80FD\>\<#8981\>\<#628A\>\<#7F16\>\<#7801\>\<#8F6C\>\<#6362\>\<#4E3A\>Unicode.
+  \<#5F53\>\<#524D\>\<#FF0C\>\<#6240\>\<#6709\>\<#7684\>\<#5B57\>\<#7B26\>\<#4E32\>\<#90FD\>\<#7528\><em|\<#901A\>\<#7528\><TeXmacs>\<#7F16\>\<#7801\>>\<#6765\>\<#8868\>\<#793A\>\<#3002\>\<#9664\>\<#4E86\>\P<verbatim|\<less\>>\Q\<#548C\>\P<verbatim|\<gtr\>>\Q\<#FF0C\>\<#8FD9\>\<#79CD\>\<#7F16\>\<#7801\>\<#548C\>Cork\<#5B57\>\<#4F53\>\<#7684\>\<#7F16\>\<#7801\>\<#4E00\>\<#81F4\>\<#3002\>\<#7279\>\<#6B8A\>\<#6269\>\<#5C55\>\<#5B57\>\<#7B26\>\<#7531\>\<#8D77\>\<#59CB\>\<#4E8E\>\P<verbatim|\<less\>>\Q\<#7EC8\>\<#6B62\>\<#4E8E\>\P<verbatim|\<gtr\>>\Q\<#5B57\>\<#7B26\>\<#5E8F\>\<#5217\>\<#8868\>\<#793A\>\<#3002\>\<#4F8B\>\<#5982\>\<#FF0C\><verbatim|\<less\>alpha\<gtr\>>\<#8868\>\<#793A\>\<#5B57\>\<#6BCD\>\<alpha\>\<#3002\><em|\<#901A\>\<#7528\><TeXmacs>\<#7F16\>\<#7801\>>\<#4E2D\>\<#5B57\>\<#7B26\>\<#7684\>\<#8BED\>\<#4E49\>\<#4E0D\>\<#4F9D\>\<#8D56\>\<#4E8E\>\<#4E0A\>\<#4E0B\>\<#6587\>\<#FF08\>\<#76EE\>\<#524D\>\<#FF0C\>\<#897F\>\<#91CC\>\<#5C14\>\<#5B57\>\<#7B26\>\<#662F\>\<#4E00\>\<#4E2A\>\<#4F8B\>\<#5916\>\<#FF09\>\<#3002\>\<#6362\>\<#53E5\>\<#8BDD\>\<#8BF4\>,\<#901A\>\<#7528\><TeXmacs>\<#7F16\>\<#7801\>\<#53EF\>\<#4EE5\>\<#770B\>\<#4F5C\>\<#662F\>Unicode\<#7684\>\<#7C7B\>\<#4F3C\>\<#7269\>\<#3002\>\<#6211\>\<#4EEC\>\<#4EE5\>\<#540E\>\<#53EF\>\<#80FD\>\<#8981\>\<#628A\>\<#7F16\>\<#7801\>\<#8F6C\>\<#6362\>\<#4E3A\>Unicode\<#3002\>
 
-  \<#5B57\>\<#7B26\>\<#4E32\>\<#53F6\>\<#7ED3\>\<#70B9\>\<#4E0A\>\<#53EF\>\<#80FD\>\<#662F\>\<#666E\>\<#901A\>\<#7684\>\<#6587\>\<#672C\>\<#4E5F\>\<#53EF\>\<#80FD\>\<#662F\>\<#7279\>\<#6B8A\>\<#6570\>\<#636E\>.<TeXmacs>\<#652F\>\<#6301\>\<#4E0B\>\<#5217\>\<#6570\>\<#636E\>\<#7C7B\>\<#578B\>\<#FF1A\>
+  \<#5B57\>\<#7B26\>\<#4E32\>\<#53F6\>\<#8282\>\<#70B9\>\<#4E0A\>\<#53EF\>\<#80FD\>\<#662F\>\<#666E\>\<#901A\>\<#6587\>\<#672C\>\<#4E5F\>\<#53EF\>\<#80FD\>\<#662F\>\<#7279\>\<#6B8A\>\<#6570\>\<#636E\>\<#3002\><TeXmacs>\<#652F\>\<#6301\>\<#4E0B\>\<#5217\>\<#6570\>\<#636E\>\<#7C7B\>\<#578B\>\<#FF1A\>
 
   <\description>
-    <item*|\<#5E03\>\<#5C14\>\<#578B\>><verbatim|true>\<#6216\><verbatim|false>.
+    <item*|\<#5E03\>\<#5C14\>\<#578B\>><verbatim|true>\<#6216\><verbatim|false>\<#3002\>
 
-    <item*|\<#6574\>\<#578B\>>\<#7EAF\>\<#6570\>\<#5B57\>\<#5E8F\>\<#5217\>\<#6216\>\<#8005\>\<#524D\>\<#9762\>\<#5E26\>\<#4E00\>\<#4E2A\>\<#8D1F\>\<#53F7\>.
+    <item*|\<#6574\>\<#578B\>>\<#7EAF\>\<#6570\>\<#5B57\>\<#5E8F\>\<#5217\>\<#6216\>\<#8005\>\<#524D\>\<#9762\>\<#5E26\>\<#4E00\>\<#4E2A\>\<#8D1F\>\<#53F7\>\<#3002\>
 
-    <item*|\<#6D6E\>\<#70B9\>\<#578B\>>\<#4F7F\>\<#7528\>\<#79D1\>\<#5B66\>\<#8BA1\>\<#6570\>\<#6CD5\>\<#8868\>\<#793A\>.
+    <item*|\<#6D6E\>\<#70B9\>\<#578B\>>\<#4F7F\>\<#7528\>\<#79D1\>\<#5B66\>\<#8BA1\>\<#6570\>\<#6CD5\>\<#8868\>\<#793A\>\<#3002\>
 
-    <item*|\<#957F\>\<#5EA6\>>\<#6D6E\>\<#70B9\>\<#578B\>\<#6570\>\<#540E\>\<#52A0\>\<#4E00\>\<#4E2A\><hlink|\<#957F\>\<#5EA6\>\<#5355\>\<#4F4D\>|lengths.zh.tm>\<#FF0C\>\<#6BD4\>\<#5982\><verbatim|29.7cm>\<#548C\><verbatim|2fn>.
+    <item*|\<#957F\>\<#5EA6\>>\<#6D6E\>\<#70B9\>\<#578B\>\<#6570\>\<#540E\>\<#52A0\>\<#4E00\>\<#4E2A\><hlink|\<#957F\>\<#5EA6\>\<#5355\>\<#4F4D\>|lengths.zh.tm>\<#FF0C\>\<#6BD4\>\<#5982\><verbatim|29.7cm>\<#548C\><verbatim|2fn>\<#3002\>
   </description>
 
   <paragraph*|\<#5E8F\>\<#5217\>\<#5316\>\<#548C\>\<#9002\>\<#7528\>\<#4E8E\>\<#7F16\>\<#8F91\>\<#7684\>\<#8BED\>\<#6CD5\>>
 
-  \<#5C06\>\<#6587\>\<#6863\>\<#4FDD\>\<#5B58\>\<#4E3A\>\<#786C\>\<#76D8\>\<#4E0A\>\<#7684\>\<#6587\>\<#4EF6\>\<#6216\>\<#8005\>\<#62F7\>\<#8D1D\>\<#6587\>\<#6863\>\<#7247\>\<#6BB5\>\<#5230\>\<#526A\>\<#8D34\>\<#677F\>\<#65F6\>\<#FF0C\><TeXmacs>\<#6811\>\<#5FC5\>\<#987B\>\<#8868\>\<#793A\>\<#4E3A\>\<#5B57\>\<#7B26\>\<#4E32\>.\<#62BD\>\<#8C61\><TeXmacs>\<#6811\>\<#5230\>\<#5B57\>\<#7B26\>\<#4E32\>\<#7684\>\<#65E0\>\<#635F\>\<#8F6C\>\<#6362\>\<#6211\>\<#4EEC\>\<#79F0\>\<#4E4B\>\<#4E3A\><em|\<#5E8F\>\<#5217\>\<#5316\>>\<#FF0C\>\<#9006\>\<#5411\>\<#8FC7\>\<#7A0B\>\<#5219\>\<#79F0\>\<#4E4B\>\<#4E3A\><em|\<#89E3\>\<#6790\>>.<TeXmacs>\<#63D0\>\<#4F9B\>\<#4E86\>\<#4E09\>\<#79CD\>\<#5E8F\>\<#5217\>\<#5316\>\<#7684\>\<#65B9\>\<#6CD5\>\<#FF0C\>\<#5206\>\<#522B\>\<#5BF9\>\<#5E94\>\<#4E8E\>\<#6807\>\<#51C6\><hlink|<TeXmacs>
-  \<#683C\>\<#5F0F\>|tm-tm.zh.tm>\<#FF0C\><hlink|XML\<#683C\>\<#5F0F\>|tm-tmml.zh.tm>\<#548C\><hlink|<scheme>\<#683C\>\<#5F0F\>|tm-scm.zh.tm>.
+  \<#5C06\>\<#6587\>\<#6863\>\<#4FDD\>\<#5B58\>\<#4E3A\>\<#786C\>\<#76D8\>\<#4E0A\>\<#7684\>\<#6587\>\<#4EF6\>\<#6216\>\<#8005\>\<#62F7\>\<#8D1D\>\<#6587\>\<#6863\>\<#7247\>\<#6BB5\>\<#5230\>\<#526A\>\<#8D34\>\<#677F\>\<#65F6\>\<#FF0C\><TeXmacs>\<#6811\>\<#5FC5\>\<#987B\>\<#8868\>\<#793A\>\<#4E3A\>\<#5B57\>\<#7B26\>\<#4E32\>\<#3002\>\<#62BD\>\<#8C61\><TeXmacs>\<#6811\>\<#5230\>\<#5B57\>\<#7B26\>\<#4E32\>\<#7684\>\<#65E0\>\<#635F\>\<#8F6C\>\<#6362\>\<#6211\>\<#4EEC\>\<#79F0\>\<#4E4B\>\<#4E3A\><em|\<#5E8F\>\<#5217\>\<#5316\>>\<#FF0C\>\<#9006\>\<#5411\>\<#8FC7\>\<#7A0B\>\<#5219\>\<#79F0\>\<#4E4B\>\<#4E3A\><em|\<#89E3\>\<#6790\>>\<#3002\><TeXmacs>\<#63D0\>\<#4F9B\>\<#4E86\>\<#4E09\>\<#79CD\>\<#5E8F\>\<#5217\>\<#5316\>\<#7684\>\<#65B9\>\<#6CD5\>\<#FF0C\>\<#5206\>\<#522B\>\<#5BF9\>\<#5E94\>\<#4E8E\>\<#6807\>\<#51C6\><hlink|<TeXmacs>
+  \<#683C\>\<#5F0F\>|tm-tm.zh.tm>\<#FF0C\><hlink|XML\<#683C\>\<#5F0F\>|tm-tmml.zh.tm>\<#548C\><hlink|<scheme>\<#683C\>\<#5F0F\>|tm-scm.zh.tm>\<#3002\>
 
-  \<#7136\>\<#800C\>\<#FF0C\>\<#9700\>\<#8981\>\<#5F3A\>\<#8C03\>\<#7684\>\<#662F\>\<#FF0C\>\<#4FEE\>\<#6539\><TeXmacs>\<#6587\>\<#6863\>\<#7684\>\<#9996\>\<#9009\>\<#8BED\>\<#6CD5\>\<#662F\>\<#5728\>\<#7F16\>\<#8F91\>\<#5668\>\<#7684\>\<#5185\>\<#90E8\>\<#663E\>\<#793A\>\<#7684\>.\<#5982\>\<#679C\>\<#4F60\>\<#611F\>\<#5230\>\<#4E0D\>\<#89E3\>\<#FF0C\>\<#4E0D\>\<#59A8\>\<#8BA4\>\<#4E3A\>\<#8BED\>\<#6CD5\>\<#5C31\>\<#662F\>\<#4E00\>\<#79CD\>\<#4F7F\>\<#5F97\>\<#4FE1\>\<#606F\>\<#66F4\>\<#6613\>\<#4E8E\>\<#7406\>\<#89E3\>\<#548C\>\<#4FEE\>\<#6539\>\<#7684\>\<#8868\>\<#73B0\>\<#65B9\>\<#5F0F\>.\<#4E00\>\<#4E2A\>\<#5177\>\<#4F53\>\<#7684\>\<#8BED\>\<#6CD5\>\<#5C31\>\<#662F\>\<#6587\>\<#6863\>\<#5728\>\<#5C4F\>\<#5E55\>\<#4E0A\>\<#6392\>\<#7248\>\<#5C55\>\<#793A\>\<#4EE5\>\<#53CA\>\<#4EA4\>\<#4E92\>\<#5F0F\>\<#7684\>\<#7F16\>\<#8F91\>\<#884C\>\<#4E3A\>.\<#53E6\>\<#5916\>\<#FF0C\>\<#5728\>\<#83DC\>\<#5355\>\<#9879\><menu|Document|Source>\<#4E2D\>\<#FF0C\>\<#4F60\>\<#53EF\>\<#4EE5\>\<#9009\>\<#62E9\>\<#663E\>\<#793A\>\<#6587\>\<#6863\>\<#7684\>\<#4E0D\>\<#540C\>\<#65B9\>\<#5F0F\>\<#FF0C\>\<#6BD4\>\<#5982\>\<#4E0D\>\<#540C\>\<#7A0B\>\<#5EA6\>\<#7684\>\<#7D27\>\<#5316\>\<#548C\>\<#7F16\>\<#8F91\>\<#6837\>\<#5F0F\>\<#6587\>\<#4EF6\>\<#7684\><hlink|``\<#6E90\>\<#7801\>\<#6811\>''\<#6A21\>\<#5F0F\>|../../style/presentation/src-present.en.tm>.
+  \<#7136\>\<#800C\>\<#FF0C\>\<#9700\>\<#8981\>\<#5F3A\>\<#8C03\>\<#7684\>\<#662F\>\<#FF0C\>\<#4FEE\>\<#6539\><TeXmacs>\<#6587\>\<#6863\>\<#7684\>\<#9996\>\<#9009\>\<#8BED\>\<#6CD5\>(syntax)\<#662F\>\<#5728\>\<#7F16\>\<#8F91\>\<#5668\>\<#7684\>\<#5185\>\<#90E8\>\<#663E\>\<#793A\>\<#7684\>\<#3002\>\<#5982\>\<#679C\>\<#4F60\>\<#611F\>\<#5230\>\<#4E0D\>\<#89E3\>\<#FF0C\>\<#4E0D\>\<#59A8\>\<#8BA4\>\<#4E3A\>\<#8BED\>\<#6CD5\>\<#5C31\>\<#662F\>\<#4E00\>\<#79CD\>\<#4F7F\>\<#5F97\>\<#4FE1\>\<#606F\>\<#66F4\>\<#6613\>\<#4E8E\>\<#7406\>\<#89E3\>\<#548C\>\<#4FEE\>\<#6539\>\<#7684\>\<#8868\>\<#73B0\>\<#5F62\>\<#5F0F\>\<#3002\>\<#4E00\>\<#79CD\>\<#5177\>\<#4F53\>\<#7684\>\<#8BED\>\<#6CD5\>\<#5BF9\>\<#5E94\>\<#7740\>\<#6587\>\<#6863\>\<#5728\>\<#7684\>\<#5C4F\>\<#5E55\>\<#4E0A\>\<#6392\>\<#7248\>\<#5C55\>\<#793A\>\<#4EE5\>\<#53CA\>\<#4EA4\>\<#4E92\>\<#5F0F\>\<#7F16\>\<#8F91\>\<#7684\>\<#884C\>\<#4E3A\>\<#3002\>\<#53E6\>\<#5916\>\<#FF0C\>\<#5728\>\<#83DC\>\<#5355\>\<#9879\><menu|Document|Source>\<#4E2D\>\<#FF0C\>\<#4F60\>\<#53EF\>\<#4EE5\>\<#9009\>\<#62E9\>\<#663E\>\<#793A\>\<#6587\>\<#6863\>\<#7684\>\<#4E0D\>\<#540C\>\<#65B9\>\<#5F0F\>\<#FF0C\>\<#6BD4\>\<#5982\>\<#4E0D\>\<#540C\>\<#7A0B\>\<#5EA6\>\<#7684\>\<#7D27\>\<#5316\>\<#548C\>\<#7F16\>\<#8F91\>\<#6837\>\<#5F0F\>\<#6587\>\<#4EF6\>\<#7684\><hlink|\P\<#6E90\>\<#7801\>\<#6811\>\Q\<#6A21\>\<#5F0F\>|../../style/presentation/src-present.en.tm>\<#3002\>
 
   <tmdoc-copyright|2004|Joris van der Hoeven>
 
diff --git a/devel/format/basics/typesetting.zh.tm b/devel/format/basics/typesetting.zh.tm
new file mode 100755
index 0000000..4acdd33
--- /dev/null
+++ b/devel/format/basics/typesetting.zh.tm
@@ -0,0 +1,45 @@
+<TeXmacs|1.99.4>
+
+<style|<tuple|tmdoc|chinese>>
+
+<\body>
+  <tmdoc-title|\<#6392\>\<#7248\>\<#8FC7\>\<#7A0B\>>
+
+  \<#4E3A\>\<#4E86\>\<#66F4\>\<#597D\>\<#7684\>\<#7406\>\<#89E3\><TeXmacs>\<#6587\>\<#6863\>\<#7684\>\<#683C\>\<#5F0F\>\<#FF0C\>\<#9996\>\<#5148\>\<#8981\>\<#4E86\>\<#89E3\>\<#7F16\>\<#8F91\>\<#5668\>\<#6392\>\<#7248\>\<#6587\>\<#6863\>\<#7684\>\<#8FC7\>\<#7A0B\>\<#3002\>TeXmacs\<#6587\>\<#6863\>\<#7684\>\<#6392\>\<#7248\>\<#FF0C\>\<#5B9E\>\<#9645\>\<#4E0A\>\<#662F\>\<#5C06\>\<#903B\>\<#8F91\>\<#5C42\>\<#9762\>\<#7684\><TeXmacs>\<#6587\>\<#6863\>\<#6811\>\<#8F6C\>\<#5316\>\<#4E3A\>\<#89C6\>\<#89C9\>\<#5C42\>\<#9762\>\<#7684\>\<#76D2\>\<#5B50\>\<#FF0C\>\<#7136\>\<#540E\>\<#663E\>\<#793A\>\<#5728\>\<#5C4F\>\<#5E55\>\<#4E0A\>\<#6216\>\<#8005\>\<#6253\>\<#5370\>\<#5728\>\<#7EB8\>\<#4E0A\>\<#7684\>\<#8FC7\>\<#7A0B\>\<#FF08\>\<#8BF7\>\<#6CE8\>\<#610F\>\<#FF0C\>\<#5B9E\>\<#9645\>\<#4E0A\>\<#76D2\>\<#5B50\>\<#63D0\>\<#4F9B\>\<#7684\>\<#4FE1\>\<#606F\>\<#4E0D\>\<#4EC5\>\<#4EC5\>\<#7528\>\<#4E8E\>\<#6E32\>\<#67D3\>\<#FF0C\>\<#8FD8\>\<#53EF\>\<#4EE5\>\<#7528\>\<#4E8E\>\<#5B9A\>\<#4F4D\>\<#5149\>\<#6807\>\<#6240\>\<#5728\>\<#4F4D\>\<#7F6E\>\<#3001\>\<#786E\>\<#5B9A\>\<#9009\>\<#533A\>\<#7B49\>\<#7B49\>\<#FF09\>\<#3002\>
+
+  \<#5B8C\>\<#6574\>\<#7684\>\<#6392\>\<#7248\>\<#8FC7\>\<#7A0B\>\<#4E3B\>\<#8981\>\<#5206\>\<#4E3A\>\<#4E24\>\<#4E2A\>\<#90E8\>\<#5206\>\<#FF1A\>
+  \<#4F7F\>\<#7528\>\<#6392\>\<#7248\>\<#539F\>\<#8BED\>\<#5BF9\><TeXmacs>\<#6811\>\<#6C42\>\<#503C\>\<#FF0C\>\<#5B9E\>\<#9645\>\<#7684\>\<#6392\>\<#7248\>\<#8FC7\>\<#7A0B\>\<#3002\>
+
+  <hlink|\<#6392\>\<#7248\>\<#539F\>\<#8BED\>|../regular/regular.zh.tm>\<#8BBE\>\<#8BA1\>\<#6210\>\<#80FD\>\<#88AB\>\<#8FC5\>\<#901F\>\<#6E32\>\<#67D3\>\<#FF0C\>\<#4E14\>\<#5185\>\<#7F6E\>\<#4E8E\>\<#7F16\>\<#8F91\>\<#5668\>\<#3002\>\<#6BD4\>\<#5982\>\<#FF0C\>\<#6709\>\<#6C34\>\<#5E73\>\<#62FC\>\<#63A5\>(<markup|concat>)\<#FF0C\>\<#5206\>\<#9875\>(<markup|page-break>)\<#FF0C\>\<#5206\>\<#5F0F\>(<markup|frac>)\<#FF0C\>\<#8D85\>\<#94FE\>\<#63A5\>(<markup|hlink>)\<#7B49\>\<#7B49\>\<#3002\>\<#8BB8\>\<#591A\>\<#6392\>\<#7248\>\<#539F\>\<#8BED\>\<#7684\>\<#6E32\>\<#67D3\>\<#53EF\>\<#4EE5\>\<#901A\>\<#8FC7\><hlink|\<#5185\>\<#7F6E\>\<#73AF\>\<#5883\>\<#53D8\>\<#91CF\>|../environment/environment.en.tm>\<#7CBE\>\<#786E\>\<#5B9A\>\<#5236\>\<#3002\>\<#6BD4\>\<#5982\>\<#FF0C\>\<#73AF\>\<#5883\>\<#53D8\>\<#91CF\><src-var|color>\<#6307\>\<#5B9A\>\<#4E86\>\<#5F53\>\<#524D\>\<#5BF9\>\<#8C61\>\<#7684\>\<#989C\>\<#8272\>\<#FF0C\><src-var|par-left>\<#5219\>\<#6307\>\<#5B9A\>\<#4E86\>\<#5F53\>\<#524D\>\<#6BB5\>\<#843D\>\<#7684\>\<#5DE6\>\<#8FB9\>\<#754C\>\<#7B49\>\<#7B49\>\<#3002\>
+
+  <hlink|\<#6837\>\<#5F0F\>\<#6587\>\<#4EF6\>\<#8BED\>\<#8A00\>|../stylesheet/stylesheet.en.tm>\<#7528\>\<#4E8E\>\<#5728\>\<#5185\>\<#7F6E\>\<#539F\>\<#8BED\>\<#7684\>\<#57FA\>\<#7840\>\<#4E0A\>\<#64B0\>\<#5199\>\<#65B0\>\<#7684\>\<#539F\>\<#8BED\>\<#FF08\>\<#5B8F\>\<#FF09\>\<#3002\>\<#5176\>\<#4E2D\>\<#5305\>\<#542B\>\<#4E86\>\<#5B9A\>\<#4E49\>\<#5B8F\>\<#3001\>\<#6761\>\<#4EF6\>\<#8BED\>\<#53E5\>\<#3001\>\<#903B\>\<#8F91\>\<#548C\>\<#7B97\>\<#672F\>\<#8FD0\>\<#7B97\>\<#3001\>\<#5EF6\>\<#8FDF\>\<#6267\>\<#884C\>\<#7B49\>\<#7B49\>\<#539F\>\<#8BED\>\<#3002\>\<#6837\>\<#5F0F\>\<#6587\>\<#4EF6\>\<#8BED\>\<#8A00\>\<#8FD8\>\<#63D0\>\<#4F9B\>\<#4E86\>\<#4E00\>\<#4E2A\>\<#7279\>\<#6B8A\>\<#7684\>\<#6807\>\<#7B7E\>\V\V<markup|extern>\<#3002\>\<#6709\>\<#4E86\>\<#8FD9\>\<#4E2A\>\<#6807\>\<#7B7E\>\<#FF0C\>\<#4F60\>\<#5C31\>\<#53EF\>\<#4EE5\>\<#7ED3\>\<#5408\><scheme>\<#64B0\>\<#5199\>\<#5B8F\>\<#4E86\>\<#3002\>
+
+  \<#7528\>\<#6237\>\<#81EA\>\<#5B9A\>\<#4E49\>\<#7684\>\<#5B8F\>\<#4E3B\>\<#8981\>\<#6709\>\<#4E24\>\<#79CD\>\<#4F5C\>\<#7528\>\<#3002\>\<#4E00\>\<#65B9\>\<#9762\>\<#FF0C\>\<#7528\>\<#4E8E\>\<#6267\>\<#884C\>\<#7B80\>\<#5355\>\<#7684\>\<#91CD\>\<#5199\>\<#89C4\>\<#5219\>\<#3002\>\<#6BD4\>\<#5982\>\<#FF0C\>\<#8FD9\>\<#4E2A\>\<#5B8F\>
+
+  <\tm-fragment>
+    <inactive*|<assign|seq|<macro|var|from|to|<active*|<math|<inactive*|<arg|var>><rsub|<inactive*|<arg|from>>>,\<ldots\>,<inactive*|<arg|var>><rsub|<inactive*|<arg|to>>>>>>>>
+  </tm-fragment>
+
+  \<#5C31\>\<#662F\>\<#7528\>\<#4E8E\>\<#4EA7\>\<#751F\><math|a<rsub|1>,\<ldots\>,a<rsub|n>>\<#8FD9\>\<#7C7B\>\<#5E8F\>\<#5217\>\<#7684\>\<#5FEB\>\<#6377\>\<#65B9\>\<#5F0F\>\<#3002\>\<#5728\>\<#8FD9\>\<#79CD\>\<#91CD\>\<#5199\>\<#89C4\>\<#5219\>\<#4E2D\>\<#FF0C\><markup|seq>\<#6807\>\<#7B7E\>\<#4E2D\>\<#7684\>\<#5B50\>\<#5143\>\<#7D20\><src-arg|var>\<#FF0C\>
+  <src-arg|from>\<#548C\><src-arg|to>\<#662F\>\<#80FD\>\<#591F\>\<#5728\>\<#7F16\>\<#8F91\>\<#5668\>\<#4E2D\>\<#901A\>\<#8FC7\>\<#5149\>\<#6807\>\<#79FB\>\<#5165\>\<#8BBF\>\<#95EE\>\<#5E76\>\<#4FEE\>\<#6539\>\<#7684\>\<#3002\>\<#53E6\>\<#4E00\>\<#65B9\>\<#9762\>\<#FF0C\>\<#7528\>\<#6237\>\<#81EA\>\<#5B9A\>\<#4E49\>\<#7684\>\<#5B8F\>\<#5177\>\<#6709\>\<#5408\>\<#6210\>\<#6216\>\<#8BA1\>\<#7B97\>\<#7684\>\<#7279\>\<#5F81\>\<#3002\>\<#6BD4\>\<#5982\>\<#FF0C\><markup|seq>\<#6807\>\<#7B7E\>\<#4E2D\>\<#7684\>\<#4E09\>\<#4E2A\>\<#70B9\>\<#4E0D\>\<#80FD\>\<#88AB\>\<#7528\>\<#6237\>\<#66F4\>\<#6539\>\<#3002\>\<#7C7B\>\<#4F3C\>\<#7684\>\<#FF0C\>\<#8FD9\>\<#4E2A\>\<#5B8F\>
+
+  <\tm-fragment>
+    <inactive*|<assign|square|<macro|x|<times|<arg|x>|<arg|x>>>>>
+  </tm-fragment>
+
+  \<#4EC5\>\<#7528\>\<#4E8E\>\<#8BA1\>\<#7B97\>\<#3002\>\<#4E00\>\<#822C\>\<#6765\>\<#8BF4\>\<#FF0C\>\<#7528\>\<#4E8E\>\<#5408\>\<#6210\>\<#7684\>\<#5B8F\>\<#66F4\>\<#5BB9\>\<#6613\>\<#7F16\>\<#5199\>\<#FF0C\>\<#4F46\>\<#662F\>\<#4FDD\>\<#7559\>\<#7684\>\<#53EF\>\<#8BBF\>\<#95EE\>\<#5143\>\<#7D20\>\<#8D8A\>\<#591A\>\<#FF0C\>\<#8BE5\>\<#6807\>\<#7B7E\>\<#88AB\>\<#7528\>\<#6237\>\<#7F16\>\<#8F91\>\<#4E5F\>\<#8D8A\>\<#591A\>\<#3002\>
+
+  \<#503C\>\<#5F97\>\<#6CE8\>\<#610F\>\<#7684\>\<#662F\><TeXmacs>\<#7684\>\<#6392\>\<#7248\>\<#4F1A\>\<#4EA7\>\<#751F\>\<#4E00\>\<#4E9B\>\<#8F85\>\<#52A9\>\<#6570\>\<#636E\>\<#3002\>\<#6BD4\>\<#5982\>\<#FF0C\>\<#5F15\>\<#7528\>\<#6570\>\<#3001\>\<#9875\>\<#7801\>\<#4EE5\>\<#53CA\>\<#76EE\>\<#5F55\>\<#548C\>\<#7D22\>\<#5F15\>\<#7B49\>\<#90FD\>\<#9700\>\<#8981\>\<#5728\>\<#6392\>\<#7248\>\<#65F6\>\<#8BA1\>\<#7B97\>\<#5F97\>\<#5230\>\<#6B63\>\<#786E\>\<#503C\>\<#7136\>\<#540E\>\<#5B58\>\<#50A8\>\<#5728\>\<#4E00\>\<#4E2A\>\<#7279\>\<#6B8A\>\<#4F4D\>\<#7F6E\>\<#3002\>\<#5C3D\>\<#7BA1\>\<#8FD9\>\<#4E9B\>\<#8F85\>\<#52A9\>\<#6570\>\<#636E\>\<#53EF\>\<#4EE5\>\<#4ECE\>\<#6587\>\<#6863\>\<#4E2D\>\<#81EA\>\<#52A8\>\<#8BA1\>\<#7B97\>\<#51FA\>\<#6765\>\<#FF0C\>\<#53EF\>\<#4EE5\>\<#8FD9\>\<#4E2A\>\<#8FC7\>\<#7A0B\>\<#4E5F\>\<#8BB8\>\<#4F1A\>\<#6BD4\>\<#8F83\>\<#8017\>\<#65F6\>\<#FF08\>\<#56E0\>\<#4E3A\>\<#5F88\>\<#6709\>\<#53EF\>\<#80FD\>\<#6574\>\<#4E2A\>\<#6587\>\<#6863\>\<#90FD\>\<#9700\>\<#8981\>\<#91CD\>\<#65B0\>\<#6392\>\<#7248\>\<#FF09\>\<#3002\>\<#5C24\>\<#5176\>\<#662F\>\<#5728\>\<#8FD9\>\<#4E9B\>\<#8F85\>\<#52A9\>\<#6570\>\<#636E\>\<#7684\>\<#8BA1\>\<#7B97\>\<#4F9D\>\<#8D56\>\<#4E8E\>\<#5916\>\<#90E8\>\<#63D2\>\<#4EF6\>\<#65F6\>\<#FF0C\>\<#4F1A\>\<#5BFC\>\<#81F4\>\<#5728\>\<#67D0\>\<#4E9B\>\<#7CFB\>\<#7EDF\>\<#4E0A\>\<#65E0\>\<#6CD5\>\<#91CD\>\<#65B0\>\<#8BA1\>\<#7B97\>\<#3002\>\<#56E0\>\<#6B64\>\<#FF0C\>\<#5728\>\<#4F60\>\<#4FDD\>\<#5B58\>\<#6587\>\<#6863\>\<#65F6\>\<#FF0C\>\<#8F85\>\<#52A9\>\<#6570\>\<#636E\>\<#4E5F\>\<#5C06\>\<#5B58\>\<#50A8\>\<#5728\>\<#78C1\>\<#76D8\>\<#4E0A\>\<#3002\>
+
+  <tmdoc-copyright|2004|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>
+</collection>>
\ No newline at end of file