Как разместить два (или несколько) символов QED на одной строке

Question

Предположим, что доказательство теоремы содержит утверждение и его доказательство, и доказательство утверждения завершает доказательство теоремы. То есть, в доказательстве теоремы не требуется никакого дополнительного текста после окончания доказательства утверждения. Например:

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

По умолчанию второй символ QED размещается на строку ниже первого, даже если на этой строке нет текста. Казалось бы, более естественно разместить оба символа QED на одной строке, рядом друг с другом, чтобы указать, что оба (вложенных) доказательства завершаются в этой точке. Как этого добиться? Я пробовал вставлять команду, \qedhereно это, похоже, не помогает.

Answer 1

удвоить \qedsymbol.

в преамбуле,

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

затем, перед первым \end{proof}, вставьте

\renewcommand{\qedsymbol}{\twoqedbox}

и перед вторым \end{proof}вставьте

\renewcommand{\qedsymbol}{}

«обновленный» \qedsymbolне сохранится.

amsthmне был разработан для обработки вложенных доказательств; они встречаются очень редко.

Answer 2

Вы можете подделать доказательную среду.

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