两个不同的“证明”环境,具有不同的标题和 qed 符号

两个不同的“证明”环境,具有不同的标题和 qed 符号

在我的书中,我使用了两个不同的proof环境。AMS 包中的原始proof环境已修改为以下内容:

\renewcommand{\qedsymbol}{$\blacksquare$}
\makeatletter
\renewenvironment{proof}[1][\proofname]{\par
    %   \vspace{-\topsep}% remove the space after the theorem
    \pushQED{\qed}%
    \normalfont
    \topsep0pt \partopsep0pt % no space before
    \trivlist
    \item[\hskip\labelsep
    \scshape
    #1\@addpunct{:}]\ignorespaces
}{%
    \popQED\endtrivlist\@endpefalse
    \addvspace{3ex} % some space after
}
\makeatother

这是我的主要proof环境,我不想对此进行任何更改。辅助proof环境的定义很简单,通过

\theoremstyle{remark}
\newtheorem*{prf}{Proof}

这里一切都很好,除了我只想在末尾添加\squareqedsymbol就像任何证明一样)。答案在此主题使得两个证明标题相似,这是我不想要的。

相关内容