Symbol for end of proof in enumerated proof envioronment

Question

With a simple proof environment as follows,

\documentclass{article}
\usepackage{amsmath, amsthm}
\vspace{-5pt}
\begin{document}
    \begin{proof}~\\
            \item First line
            \item Lastline ................\end{proof}
\end{document}

the symbol for the end of the proof is on the same line as the last line of the proof.

If we have an enumeration environment inside the proof environment, the symbol for the end of the proof only shows up at the next line:

\documentclass{article}
\usepackage{amsmath, amsthm}
\vspace{-5pt}
\begin{document}
\begin{proof}~\\
    \begin{enumerate}
        \item First line
        \item Last line ......................
    \end{enumerate}
\end{proof}
\end{document}

May the proof environment with an enumeration environment be amended, so that the symbol for the end of the proof is on the same line as the last line of the proof?

Are you familiar with the \qedhere macro that's provided by the amsthm package? Can you guess what it does? — Mico, Oct 29 '22 at 04:11
@Mico I see. Unfortunately it does not work in the modified asl documentclass which I am using. — Frode Alfson Bjørdal, Oct 29 '22 at 16:51
@Mico I will add an extra line in other proof environments to obtain uniformity. — Frode Alfson Bjørdal, Oct 29 '22 at 16:58

score 1 · Accepted Answer · answered Oct 29 '22 at 05:56

As mentioned @Mico in his comment, use \qedhere. It will align it with last line in a list, if this line end before right border of text block. If not, than symbol for \qed will appear below item text.

\documentclass{article}
\usepackage{amsmath, amsthm}
\usepackage{lipsum}
\begin{document}
    \begin{proof}~
\item First line
\item \lipsum[1][1-3] And here is the last line \qedhere
    \end{proof}
\begin{proof}~

\item First line
\item \lipsum[66]   \qedhere
    \end{proof}
\end{document}

Thanks. But see my remark in the comment thread above. – Frode Alfson Bjørdal Oct 29 '22 at 16:51 — Frode Alfson Bjørdal, Oct 29 '22 at 16:51

Symbol for end of proof in enumerated proof envioronment

1 Answers1