LyX 内置的数学环境，例如定义、证明和引理？

Question

LyX 内置了各种数学插件。LyX 是否有一些现成的命令或 GUI 按钮来获取诸如证明、引理和定理之类的环境？在 Lyx 中创建引理的程序是什么：您是创建一个段落还是在Insert > Math或其他地方选择一些设置？

我按照说明加载了定理（AMS）模块这里用于对证明、引理和其他内容进行独立编号。

Answer 1

添加模块后，您会在左上角的样式下拉菜单中找到所有不同的环境，还可以在其中找到例如部分等。