Liii STEM

Appearance

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

在 Liii STEM 的文本模式中，您可以通过插入语义块（Enunciation），为您文章中的定理（Theorem）、引理（Lemma）、推论（Corollary）、命题（Proposition） 以及证明（Proof） 等部分配置独立的环境，以保证文章排版的美观与规范。本指南将帮助您实现下图展示的最终效果。

图1

1 插入语义块的基本方法 ​

  • 在菜单栏依次点击 插入 -> 语义块 -> 定理 。
  • 您可以根据需要选择引理、推论、命题、证明等环境。

图2

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

    1. 将光标置于您添加的语义块上。
    2. 在菜单栏依次点击 焦点 -> 首选项 。
    3. 选择您需要的编号或环境格式，格式的具体解释如下表。

图3

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

2 什么是语义块？ ​

2.1 常见语义块解释及示例 ​

  1. 定理（Theorem）：核心结论，需严格证明，代表文章主要贡献。
    图1
  2. 引理（Lemma）：辅助性结论，为证明定理或命题提供中间步骤。
    图4
  3. 推论（Corollary）：定理或命题的直接延伸结果，常需简短补充证明。 图5
  4. 命题（Proposition）：重要性次于定理的独立结论，可视为小定理或未命名定理。
    图6
  5. 证明（Proof）：逻辑推导过程，验证定理、引理、命题或推论的正确性。
    图7

2.2 语义块类型列举 ​

我们提供的可用语义块类型非常丰富，包括：

数学定理类 ​

  • 定理（Theorem）
  • 命题（Proposition）
  • 引理（Lemma）
  • 推论（Corollary）
  • 公理（Axiom）
  • 假设（Assumption）

定义说明类 ​

  • 定义（Definition）
  • 记号（Notation）
  • 约定（Convention）

注释说明类 ​

  • 注释（Remark）
  • 注意（Note）
  • 警告（Warning）

例子练习类 ​

  • 例子（Example）
  • 练习（Exercise）
  • 问题（Problem）
  • 问题（Question）
  • 解答（Solution）
  • 答案（Answer）

其他 ​

  • 证明（Proof）
  • 致谢（Acknowledgments）

3 使用建议与注意事项 ​

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