[Tex/LaTex] Different proofs in amsmath with different QED symbol

amsmath

I'm trying to expand the amsmath package to get two different proof environments:

  • \begin{proof} ... \end{proof} and
  • \begin{proof*} ... \end{proof*}

so proof* should act exactly like proof except of the QED Symbol.
proof should provide be a blacksquare while proof* provides the normal square.

I found 

\let\proof*\proof

and

\renewcommand{\qedsymbol}{$\blacksquare$}

in some questions but this changes every QED symbol. Any advice?

Best Answer

Here is a direct solution just using the AMS packages. We set up a new environment myproof, which is proof but containing a redefinition of the \qedsymbol.

Sample output

\documentclass{article}

\usepackage{amsthm,amsmath,amssymb}

\newcommand*{\myproofname}{My proof}
\newenvironment{myproof}[1][\myproofname]{\begin{proof}[#1]\renewcommand*{\qedsymbol}{\(\blacksquare\)}}{\end{proof}}

\begin{document}

\begin{proof}
  Usual proof.
\end{proof}

\begin{myproof}
  New proof style.
\end{myproof}

\begin{proof}[Short]
  Standard proof
  \begin{equation*}
    a = b. \qedhere
  \end{equation*}
\end{proof}

\begin{myproof}[Short new style]
  New proof style
  \begin{equation*}
    a = b. \qedhere
  \end{equation*}
\end{myproof}

\end{document}
Related Question