Jsou ekvivalentní, ale v MikTeXu má font se \square rozbité unicodové
tabulky, takže nevznikne korektní PDF/A.
\textit{Důkaz}.
}{
\newline
\textit{Důkaz}.
}{
\newline
-\rightline{$\square$} % nebo \SquareCastShadowBottomRight z balíčku bbding
+\rightline{$\qedsymbol$}
}
%%% Prostředí pro sazbu kódu, případně vstupu/výstupu počítačových
}
%%% Prostředí pro sazbu kódu, případně vstupu/výstupu počítačových