When using an itemize/enumerate/align environment inside of a proof environment, the tombstone is awkwardly placed on the line below the end of the final line. What is the cleanest way to get the tombstone placed in-line?
i.e., the source might be:
\documentclass{article}
\usepackage{amsthm,amssymb}
\begin{document}
\begin{proof}
These are the steps.
\begin{itemize}
\item $1+1=2$.
\item $2+2\neq5$.
\end{itemize}
\end{proof}
\end{document}
but I would want it to look more like
\documentclass{article}
\usepackage{amsthm,amssymb}
\begin{document}
\noindent {\em Proof.} These are the steps.
\begin{itemize}
\item $1+1=2$.
\item $2+2\neq5$. \hfill $\square$
\end{itemize}
\end{document}
but of course without having to kludgily write \hfill etc., and with all the spacing benefits.
I've seen some questions on here addressing similar issues, but nothing that exactly handles this (e.g. this answer's unskip doesn't seem to work, and qedhere seems to present its own host of issues that need to be handled manually). Apologies in advance if I overlooked a functional answer.
ntheorempackage and defining theproofenv with anonumberstyle. More details are in thentheoremmanual. – daleif May 11 '22 at 08:12\qedhere. – egreg May 11 '22 at 08:43ntheoremmight do what I need, thanks! – zjs May 30 '22 at 23:05