语义块

本文供快速预览，详细内容请见 Liii STEM 文本模式完全指南 第 4 节（语义块 （定义定理环境等））。

语义块（Enunciation）是数学和科技写作中用于标记定理、引理、推论等结构化内容的环境。

插入语义块

环境	命令	菜单路径
定理	\theorem	插入 → 语义块 → 定理
命题	\proposition	插入 → 语义块 → 命题
引理	\lemma	插入 → 语义块 → 引理
推论	\corollary	插入 → 语义块 → 推论
证明	\proof	插入 → 语义块 → 证明
公理	\axiom	插入 → 语义块 → 公理
假设	\assumption	插入 → 语义块 → 假设
定义	\definition	插入 → 语义块 → 定义
记号	\notation	插入 → 语义块 → 记号
约定	\convention	插入 → 语义块 → 约定
注记	\remark	插入 → 语义块 → 注记
笔记	\note	插入 → 语义块 → 笔记
示例	\example	插入 → 语义块 → 示例
警告	\warning	插入 → 语义块 → 警告
致谢	\acknowledgment	插入 → 语义块 → 致谢
问题	\question	插入 → 语义块 → 问题
答案	\answer	插入 → 语义块 → 答案
练习	\exercise	插入 → 语义块 → 练习
习题	\problem	插入 → 语义块 → 习题
解答	\solution	插入 → 语义块 → 解答

也可以在模式工具栏点击语义块图标插入。将光标置于语义块中，按 Alt+Shift+↓ 可在各种语义块变体之间循环切换。

语义块设置

在焦点工具栏中，可以调整语义块的各种属性：

• 编号：焦点工具栏点击 123 或者 Ctrl + # 快捷键可以选择是否编号。
• 以章节号为前缀：编号自动带上章节前缀（如 定理 3.1）。
• 定理加框：为定理环境添加边框（也可以用 \framed 手动加框）。

不同语义块的默认排版规则有所区别，因此不建议嵌套使用。例如英文模板下，定理、引理、推论等环境的内容通常为斜体，而定义、注记等环境的内容为正体。此外，练习（Exercise）、习题（Problem）、解答（Solution）等内容会自动缩进，而问题（Question）和答案（Answer）则不会缩进。

自定义语义块

如果内置的语义块不能满足需求，可以在导言区自定义新的语义块。点击 工具 → 宏命令 → 编辑导言（Ctrl+Shift+p）进入导言区，输入 \new-theorem 后回车创建新的语义块：

命令	样式	说明
\new-theorem	斜体（theorem-like）	类似定理、引理、推论的排版样式
\new-remark	正体（remark-like）	类似定义、注记、示例的排版样式
\new-exercise	缩进（exercise-like）	类似练习题目、解答的排版样式

自定义语义块支持自动编号和交叉引用，用法与内置语义块完全一致。

结构化编辑

在语义块环境内部，按 Alt + Shift + ↓ 可循环切换语义块变体。按 Ctrl + Backspace 可取消语义块环境，保留其中的文本内容。Ctrl + Page Up / Ctrl + Page Down 可在相似的语义块间跳转。

选读：与 LaTeX 的对比

语义块在 Liii STEM 中通过菜单或命令直接插入，是结构化环境，可直接编辑和格式化。LaTeX 中需要 \begin{theorem}...\end{theorem} 等环境，通常依赖 amsthm 宏包。语义块变体在 Liii STEM 中通过 Alt+Shift+↓ 循环切换。LaTeX 中需要分别定义不同的环境。自定义语义块在 Liii STEM 中通过导言区的 \new-theorem 等命令创建，支持自动编号和交叉引用。LaTeX 中使用 \newtheorem 命令。