From 83321537d60cc38750bb8477dbc0740e7aa9052f Mon Sep 17 00:00:00 2001
From: Martin Mares <mj@ucw.cz>
Date: Wed, 17 Jul 2019 13:24:21 +0200
Subject: [PATCH] =?UTF-8?q?Jako=20zna=C4=8Dku=20konce=20d=C5=AFkazu=20pou?=
 =?UTF-8?q?=C5=BE=C3=ADv=C3=A1me=20\qedsymbol=20m=C3=ADsto=20\square?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Jsou ekvivalentní, ale v MikTeXu má font se \square rozbité unicodové
tabulky, takže nevznikne korektní PDF/A.
---
 cs/makra.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/cs/makra.tex b/cs/makra.tex
index a5c1562..fcf179a 100644
--- 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