زمانی که اثبات داخل محیط itemize نوشته شده است چگونه می‌توان مربع آخر اثبات را در انتهای سطر آخر آورد؟

Question

سلام
وقت بخیر
مربعی که در انتهای اثبات‌ها ظاهر می‌شود همیشه در انتهای سطر آخر قرار می‌گیرد اما زمانی که اثبات داخل یک محیط itemize نوشته می‌شود این مربع در یک سطر جداگانه و خالی قرار می‌گیرد. برای حل این مشکل چه روشی را پیشنهاد می‌کنید؟

\documentclass[11pt]{amsart}
\begin{document}
\begin{proof}
\begin{itemize}
\item
Test 1
\item
Test 2
\end{itemize}
\end{proof}

\begin{proof}
Test
\end{proof}
\end{document}

Answer 1

می‌تونید از دستور \qedhere استفاده کنید:

\documentclass[11pt]{amsart}
\begin{document}
\begin{proof}
\begin{itemize}
\item
Test 1
\item
Test 2 \qedhere
\end{itemize}
\end{proof}

\begin{proof}
Test
\end{proof}
\end{document}

و خروجی:

Answer 2

سلام
این رفتار محیط آیتمایز غیر طبیعی نیست. این محیط پارگراف را هنگام بسته شدن تمام می‌کند تا محیط بعدی در سطر بعد شروع شود و در آیتم‌ها وارد نشود. زمانی که سطر بسته‌ شود و به انتهای قضیه وارد شده باشیم، به‌ناچار نماد \qedsymbol در انتهای سطر بعدی قرار می‌گیرد. به نمونه‌ی زیر توجه کنید:

\documentclass[11pt]{amsart}
\begin{document}
\begin{itemize}
\item
"f is continuous" was already shown
\item
"f is continuous" was already shown 
\end{itemize}
text text
\end{proof}
\end{document}

که با تکلایو 2017 دارای خروجی زیر است:

---

با دانستن این نکته، حل این مشکل ساده خواهد بود. کافیست این اجازه را از محیط اثبات با ماکروی زیر سلب کنیم:

\renewcommand{\qedsymbol}{}

اما قبل از این محیط نیز با ساختار زیر، دستور\qedsymbol را معادل‌سازی می‌کنیم:

\let\madqed\qedsymbol

و قبل از انتهای محیط آیتمایز ساختار زیر را قرار دهیم:

\hfill\madqed

پس دستورات شما به صورت زیر است:

\documentclass[11pt]{amsart}
\begin{document}
\let\madqed\qedsymbol
\begin{proof}\renewcommand{\qedsymbol}{}\hfill  
\begin{itemize}
\item
"f is continuous" was already shown
\item
"f is continuous" was already shown, see the last sentence of the previous paragraph. This is still true, so the only thing left to show that for "g quotient implies f quotient" is what is claimed: surjectivity of f and f−1[O] open in Y implies O open in Z. The other implication of continuity of f is always true by the previous, because g quotient implies g continuous and so f continuous as well. That implication was already established so can be used.\hfill\madqed
\end{itemize}
\end{proof}
\begin{proof}
"f is continuous" was already shown, see the last sentence of the previous paragraph. This is still true, so the only thing left to show that for "g quotient implies f quotient" is what is claimed: surjectivity of f and f−1[O] open in Y implies O open in Z. The other implication of continuity of f is always true by the previous, because g quotient implies g continuous and so f continuous as well. That implication was already established so can be used.
\end{proof}
\begin{proof}\hfill
\begin{itemize}
\item
"f is continuous" was already shown
\item
"f is continuous" was already shown 
\end{itemize}
text text
\end{proof}
\end{document}

و خروجی شما با تکلایو 2017 به صورت زیر است:

---

---

موفق باشید.

Comments

سلام
ممنون از راهنماییتون.
ولی این روش هم یک مشکلی داره و اونم اینکه در این صورت کلمه اثبات در یک سطر جداگانه میاد! من نمیخوام اینطوری بشه.

---

راه حلش رو پیدا کردم. دستور \hfill را حذف کردم.
سپاس

---

درست فرمودید. من اون رو عمداً گذاشته بودم که محیط آیتمایز از یک سطر جدا شروع شود. موفق باشید.