I would like to alternate between two proof environments under the amsthm
package, e.g. distinguished between \begin{proof1} ... \end{proof1}
and \begin{proof2} ... \end{proof2}
. In these I want to use different end signs like QED or $\blacksquare$
.
How may I do this?
Best Answer
You can define a
proofi
environment based onproof
but making the desired redefinition for the\qedsymbol
:With
xparse
, you can easily set another optional argument allowing to specify the symbol, if desired; something along these lines:Or, redefining
proof
: