Jako značku konce důkazu používáme \qedsymbol místo \square

Jsou ekvivalentní, ale v MikTeXu má font se \square rozbité unicodové
tabulky, takže nevznikne korektní PDF/A.

diff --git a/cs/makra.tex b/cs/makra.tex
index a5c1562fba0565221ede01c19e02db49155836ae..fcf179a911614bf9b0b8488293f5711d79331f9c 100644 (file)
--- a/cs/makra.tex
+++ b/cs/makra.tex
@@ -56,7 +56,7 @@
   \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