文本模式下的语义块插入

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

语义块是文本模式下的功能，用于为您文章中的定理（Theorem）、引理（Lemma）、推论（Corollary）、命题（Proposition）以及证明（Proof）等内容提供专门的写作环境，确保排版规范美观。

图 1.语义块效果示例

2. 操作流程：如何插入语义块

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

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

3. 高级格式设置

在您想修改的语义环境块内部时，点击焦点工具栏，可以对语义块进行设置

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

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

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

• 欧洲样式：所有的语义块用同一个计数器

• 添加章节层级：编号中会带有章节数

• 定理加框：为定理这个语义块加框，使其突出。

• 定理加悬浮框：为定理语义块中的定理加上悬浮框

在给定理加悬浮框是，首先会自动给定理加框。

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

1. 请您尽量单独使用语义块，避免在一语义块中嵌套另一语义块。
2. 可以为语义块加上不同的外观，参考哔站视频