1
0
Fork 0

6 Commits (8676c18fb4872868bbbd47037c6eb223cb604a5c)

Author SHA1 Message Date
Martin Mares 83321537d6 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.
5 years ago
Martin Mares bacc89f2e7 Nedávné změny integrovány i do anglické verze 9 years ago
Martin Mares 31dcf20a00 QED už není tak fancy :) 9 years ago
Martin Mares 7f2acfcfe8 Zapnuti slimáci 9 years ago
Martin Mares 1a2d726ebf Úpravy stylu přesunuty do soubory s makry 9 years ago
Martin Mares 39487305f9 Makra od matematické sekce 9 years ago