如何改变定理类的 QED 符号

Question

我正在写一篇包含一些相当长的证明的文章，其中一些包括带有自身证明的主张。

我通过使用 添加声明环境 来处理这个问题\newtheorem，但是由此产生了一点不便：当我写出声明的证明时，之后\end{proof}会显示一个 QED 符号，就像在主要定理的证明结束时一样，这可能会造成混淆，当声明位于证明的中间时，看起来证明已经完成，但实际上并非如此，而在证明的最后，突然出现了两个 QED 符号。

我处理这个问题的方法是

\renewcommand{\qedsymbol}{$\square$ (claim)}

在证明结束前一行。但是，我认为在编写包含许多声明的较长文档时，这可能会相当乏味。那么，有没有办法一次性对所有声明执行此操作？

如果我做错了什么，我也很乐意听取关于如何“以正确的方式”去做的建议。

Answer 1

一个基本的选择似乎会创建一个新的类似证明的环境：

\newenvironment{claimproof}[1][\proofname]
  {%
    \proof[#1]%
      \renewcommand*\qedsymbol{‌​$\square$ (claim)}%
  }
  {%
    \endproof%
  }