QED desalinhado em ambiente personalizado

Question

Estou tentando colocar instruções QED ( \qed) dentro de um ambiente personalizado meu, mas os quadrados ficam desalinhados. Aqui está uma foto disso:

Aqui está o código relevante:

\renewcommand{\qedsymbol}{$\blacksquare$}

\newenvironment{exercise}[1][]
    {
        \par\medskip
        \noindent \textbf{Exercício~#1.} \rmfamily
    }
    {
        \medskip
    }

% Some other code in here . . .

\begin{exercise}[7]
\begin{exitem}[a]
    ($\Rightarrow$) Seja $\epsilon \in \mathbb{R}^+$. Então $x \le y
    \Rightarrow x + \epsilon \le y + \epsilon$. Ainda, $0 < \epsilon
    \Rightarrow 0 \le \epsilon \Rightarrow x = x + 0 \le x + \epsilon \le y +
    \epsilon$.

    Pela arbitrariedade de $\epsilon$, $x \le y + \epsilon$, para qualquer
    $\epsilon > 0$. \qed

    ($\Leftarrow$) Suponhas que $x \le y + \epsilon$ para todo $\epsilon \in
    \mathbb{R}^+$ e que $x \nleq y$. Como $\le$ é ordem total, temos que
    $y < x$. Assim:

    \begin{equation*}
        \left \{
        \begin{aligned}
        0 & \le -x + y + \epsilon \\
        0 & < x - yA
        \end{aligned}
        \right .
        \Rightarrow
        0 \le (x - y)(-x + y + \epsilon) = -(x - y)^2 + \epsilon (x - y)
    \end{equation*}

    Tomando-se $\epsilon = \frac{1}{2} (x - y)$ -- perceba que $y < x
    \Rightarrow 0 < x - y$ -- segue que:

    \begin{equation*}
        0 \le - \frac{(x - y)^2}{2} \Rightarrow (x - y)^2 \le 0
    \end{equation*}

    No entanto, $0 \le x - y \Rightarrow 0 < (x - y)^2 \le 0$ \lightning.
    Logo, $x \le y$. \qed
\end{exitem}

Há algo que eu possa fazer sobre isso? Como eu poderia consertar isso?

Answer 1

Como afirmado no@barbarabeetoncomentários de, isso deve ser corrigido por pós-pendência {\parfillskip 0pt \par}para os desalinhados \qed. Isso poderia ser transformado em uma macro:

\DeclareRobustCommand{\QED}
    {
        \leavevmode\unskip\penalty9999 \hbox{}\nobreak\hfill
        \quad\hbox{\qedsymbol}{\parfillskip 0pt \par}
    }