第3节包含脚注. 也说明定理、命题、推论的使用，例子使用了列表特征中的相关特征.
§ 5.5 创建第3节
5.5.1 输入节标题
在文档中你需要参考标题，故应该增加参考标题的关键词.
1. 在节节节或或或体体体特特特征征征列表中选择Section.
2. 输入
Theorems, Lemmas, 等
等等等等等.3. 按Enter.
4. 本节增加关键词：
a) 在域工具栏中单击 ，或从插插插入入入菜单中选择标标标记记记.
b) 在关键词框中输入
theorems
c) 选择确确确定定定.
阴影框包含marker: 及关键词theorems.
5.5.2 输入首个段落
1. 输入：
你 你
你能能能自自自动动动生生生成成成定定定理理理及及及其其其他他他声声声明明明的的的编编编号号号.
2. 在句子结尾输入脚注：
a) 在域工具栏中单击 ，或从插插插入入入菜单中选择注注注释释释.
确信在注注注释释释类类类型型型中选择footnote.
b) 要输入区中输入脚注内容：
如
如如命命命题题题，，，引引引理理理和和和推推推论论论.
c) 选择确确确定定定.
阴影框包含footnote.
3. 按Enter.
5.5.3 输入最后段落
因为在文档中陈述定理后要参考，你需要确定定理陈述的关键词. 定理陈述也包含交叉参考.
1. 在列列列表表表特特特征征征中选择Theorem.
程序显示包含Theorem 的域框. 当你排版文档时自动生成定理语句的序列号替代域框中Theorem.
2. 确定定理陈述关键词：
a) 在域工具栏中单击 ，或从插插插入入入菜单中选择标标标记记记.
b) 在关键词框中输入：
existence
你可在后面使用关键词参考此定理.
c) 选择确确确定定定.
3. 输入定理，再切换文本到数学输入数学表达式及独立数学，无需你设定，程序自动将数学符号设成 斜体. 输入：
假 假
假定定定u0∈ C3
R
3 , u1∈ C2R
3 有有有有有有限限限能能能量量量且且且 ZR3
|u1|2+|∇u0|2
2 +|u0|6 6
!
dx <∞
再 再
再假假假定定定齐齐齐次次次波波波动动动方方方程程程具具具有有有初初初始始始值值值u0, u1的解解解u(0)是是是一一一致致致有有有界界界的的的，，，则则则存存存在在在e0>0 使使使得得得 |e| < e0
4. 按space
5. 输入交叉参考：
a) 键入左括号.
b) 在排版对象工具栏中单击 ，或从插插插入入入菜单中选择排排排版版版对对对象象象|交交交叉叉叉参参参考考考.
c) 在关键词框中输入：
wave
d) 选择确确确定定定.
e) 键入右括号.
6. 要完成句子，输入：
对 对
对于于于具具具有有有初初初值值值eu0, eu1具有全局C2-解解解.
§ 5.5 创建第3节
7. 按Enter 结束段落.
8. 单击 结束定理陈述.
5.5.4 输入命题内容
1. 在列列列表表表特特特征征征中单击Proposition.
屏幕显示灰色框. 当你排版打印文档时自动用Proposition及命题陈述的编号替换.
2. 输入命题的陈述，如必要从文本切换到数学：
如
如如果果果ax2+bx + c = 0(a 6= 0), 且且且b2− 4ac > 0,则则则x = −b±
√
b2−4ac
2a .
你不必设置命题陈述为斜体，程序自动会设置.
3. 按Enter 结束段落.
4. 单击 结束命题陈述.
5.5.5 输入推论内容
1. 在列表特征中单击Corollary.
屏幕显示灰色框. 当你排版打印文档时自动用Corollary及推论陈述的编号替换.
2. 输入推论的陈述，如必要从文本切换到数学：
如
如如果果果b2− 4ac < 0, 则则则x 不不不是是是实实实数数数.
与定理及命题相同，程序自动初始化陈述.
3. 按Enter 结束段落.
4. 单击 结束推论陈述.
5.5.6 输入实例
1. 在列列列表表表特特特征征征中单击Example.
屏幕显示灰色框. 当你排版打印文档时自动用Example及命题陈述的编号替换. 与所有定理类声明相 同，程序自动初始化陈述.
2. 输入实例的陈述：
如
如如果果果x2− 4 = 0, 则则则x = ±2.
3. 按Enter 结束段落.
4. 单击 结束实例陈述.