Skip to content
Snippets Groups Projects
Commit 3b1a244e authored by Tomáš Nováček's avatar Tomáš Nováček
Browse files

Changing the QED sign to tombstone

parent a18b8b08
No related branches found
No related tags found
Loading
......@@ -443,7 +443,6 @@
\thm@postskip\thm@preskip
}
\def\@endtheorem{\endtrivlist}%\@endpefalse
\renewcommand\qedsymbol{\textcolor{decoration}{\ensuremath{\blacktriangleleft}}}
\renewenvironment{proof}[1][\proofname]{\par
\pushQED{\qed}%
\normalfont \topsep6\p@\@plus6\p@\relax
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment