Cómo poner dos (o varios) símbolos QED en una línea

Question

Supongamos que la prueba de un teorema contiene una afirmación y su prueba, y la prueba de la afirmación completa la prueba del teorema. Es decir, no se requiere más texto en la demostración del teorema una vez finalizada la demostración de la afirmación. Por ejemplo:

\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}

De forma predeterminada, el segundo símbolo QED se coloca una línea debajo del primero, aunque no haya texto en esa línea. Parecería más natural colocar ambos símbolos QED en la misma línea, uno al lado del otro, para indicar que las dos demostraciones (anidadas) concluyen en ese punto. ¿Cómo podemos lograr esto? Intenté insertar el \qedherecomando pero no parece ayudar.

Answer 1

duplicar el \qedsymbol.

en el preámbulo,

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

luego, antes del primero \end{proof}, inserte

\renewcommand{\qedsymbol}{\twoqedbox}

y antes del segundo \end{proof}, inserte

\renewcommand{\qedsymbol}{}

un "renovado" \qedsymbolno persistirá.

amsthmno fue diseñado para manejar pruebas anidadas; son muy raros.

Answer 2

Puedes falsificar el entorno de prueba.

\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}