Como colocar dois (ou vários) símbolos QED em uma linha

Question

Suponha que a prova de um teorema contenha uma afirmação e sua prova, e que a prova da afirmação complete a prova do teorema. Ou seja, nenhum texto adicional é necessário na prova do teorema após o término da prova da afirmação. Por exemplo:

\documentclass{article}
\usepackage{amsthm}
\newtheorem{theorem}{Theorem}
\newtheorem{claim}{Claim}
\begin{document}

\begin{theorem}
Today is Thursday.

\begin{proof}
We know that the day after Wednesday is always Thursday.
Thus the theorem follows from the following claim:

\begin{claim}
Yesterday was Wednesday.

\begin{proof}
My computer said so.
\end{proof}
\end{claim}
\end{proof}
\end{theorem}
\end{document}

Por padrão, o segundo símbolo QED é colocado uma linha abaixo do primeiro, mesmo que não haja texto nessa linha. Pareceria mais natural colocar ambos os símbolos QED na mesma linha, um ao lado do outro, para indicar que as duas provas (aninhadas) terminam naquele ponto. Como podemos conseguir isso? Tentei inserir o \qedherecomando, mas não parece ajudar.

Answer 1

o dobro do \qedsymbol.

no preâmbulo,

\let\oldqedbox\qedsymbol
\newcommand{\twoqedbox}{\oldqedbox\oldqedbox}

então, antes do primeiro \end{proof}, insira

\renewcommand{\qedsymbol}{\twoqedbox}

e antes do segundo \end{proof}, insira

\renewcommand{\qedsymbol}{}

um “renovado” \qedsymbolnão persistirá.

amsthmnão foi projetado para lidar com provas aninhadas; eles são muito raros.

Answer 2

Você pode falsificar o ambiente de prova.

\begin{theorem}
Today is Thursday.
\end{theorem}  % moved to here

\begin{proof}
We know that the day after Wednesday is always Thursday.
Thus the theorem follows from the following claim:
\begin{claim}
Yesterday was Wednesday.
\end{claim}
\noindent\textit{\proofname.} My computer said so.\qedhere\qedsymbol
\end{proof}