文本模式下的语义块环境插入

1、功能介绍：什么是语义块

语义块是文本模式下的功能，该功能旨在通过插入语义块（Enunciation），为您文章中的定理（Theorem）、引理（Lemma）、推论（Corollary）、命题（Proposition）以及证明（Proof）等部分（语义块所包含内容详细内容见文末）配置合适的写作环境，以保证文章格式排版的美观与规范。本指南将帮助您实现下图展示的最终效果。

图 1.语义块效果示例

2、操作流程:如何插入语义块

在模式工具栏依次点击 Insert an enunciation 图标 →定理

（您可以根据需要选择引理、推论、命题、证明等环境）（如下图所示）

图2.插入语义块的方法示例

注意如果您需要更多元的编号或环境格式需求，请您按照以下步骤进一步操作：

1. 选中你需要操作的语义块
2. 在焦点（当前环境）工具栏选择 标记的首选项
3. 选择您需要的编号或环境格式，具体格式解释如下表所示

图 3.首选项包含内容示例

格式名称	说明
European numbering style	设置欧洲样式
Prefix by section number	添加章节层级
Framed theorems	加框
Hanging theorems	加悬浮框

表 1.首选项包含内容及其说明

3、相关示例：部分语义块效果展示

1. 定理（Theorem）：核心结论，需严格证明，代表文章主要贡献。

图 4.定理示例

1. 引理（Lemma）：辅助性结论，为证明定理或命题提供中间步骤。

图 5.引理示例

1. 推论（Corollary）：定理或命题的直接延伸结果，常需简短补充证明。

图 6.推论示例

1. 命题（Proposition）：重要性次于定理的独立结论，可视为小定理或未命名定理。

图 7.命题示例

1. 证明（Proof）：逻辑推导过程，验证定理、引理、命题或推论的正确性。

图 8.证明示例

可用的语义块类型非常丰富，列举如下：

图 9.可用语义块罗列

4、注意事项：语义块使用中的建议

1. 在不同语言样式下，同一语义块的呈现效果存在差异。例如，"定理"中的内容在中文样式下呈现正体，而在英文样式下是斜体。
2. 请您尽量单独使用语义块，避免在一语义块中嵌套另一语义块。