2

When using the proof environment provided by the amsthm package, you get an empty square box at the end of your proof as the default QED symbol.

Question: Is there a way to make it automatically put "QED" for some proofs but not others? Essentially, can one create a second proof environment which puts a different symbol at the end?

8
  • 1
    \renewcommand{\qedsymbol}{QED}
    – egreg
    Aug 8, 2023 at 14:08
  • @egreg Sorry, I should have been more clear. Is there a way to do this for some proofs but not others? I'm coauthoring a paper and my partner prefers the square but I prefer QED. Aug 8, 2023 at 14:12
  • I'm not sure what you mean: in a single paper, there should be a unique QED symbol. I could understand different symbols for, say, nested proofs, but not QED in some proofs and the square in others.
    – egreg
    Aug 8, 2023 at 14:16
  • 2
    \renewcommand the \qedsymbol locally.
    – Stephen
    Aug 8, 2023 at 14:24
  • 1
    @campa I understand that this may be "bad style" but I intend on submitting this paper in my portfolio to grad programs, so I would like whoever may read them to actually know where I contributed. Aug 8, 2023 at 14:33

1 Answer 1

6

Define a new environment based on proof environment and modify the \qedsymbol locally.

\documentclass{article}
\usepackage{amsthm}
\newenvironment{proofa}{%
  \renewcommand{\qedsymbol}{QED}\proof}{\endproof}
\begin{document}

\begin{proof}
  This is a proof with the original square symbol.
\end{proof}

\begin{proofa}
  This is another proof with ``QED'' symbol.
\end{proofa}

\end{document}

enter image description here

3
  • +1 Environment wrappers should better use the internal macros \proof and \endproof. Makes for better error messages sometimes. (And wouldn't work otherwise with some environments.)
    – campa
    Aug 8, 2023 at 14:39
  • This worked perfectly, thank you! Aug 8, 2023 at 14:41
  • OK, I have edited the code@campa
    – Stephen
    Aug 8, 2023 at 14:41

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .