如何定义另一个证明环境，例如“引理证明”？此外，如何在没有 qed 框的情况下实现它？（我需要一个有 qed 框的环境，以及另一个没有 qed 框的环境。）
我正在使用带有 amsthm 包的 amsbook 文档类。
答案1
如果您正在使用amsthm，则不需要另一个证明环境。您想要的功能已经内置。
要获得标题“引理证明”，请使用
\begin{proof}[Proof of lemma]
省略\end{proof}插入前的方框
\renewcommand{\qedsymbol}{}
（证明结束后这种情况不再存在。）
手册中描述了这两个功能：texdoc amsthm