Commit 6df03197 authored by Felix Hilsky's avatar Felix Hilsky
Browse files

different 2-dim. end-of-def symbol.

The $ $ are important. Otherwise it's just white!
parent 952d3e9a
......@@ -260,7 +260,7 @@ exponent-product=\cdot]{siunitx} % provides nice typesetting for units and numb
bodyfont=\normalfont,
spaceabove=1em plus 0.75em minus 0.25em,
spacebelow=1em plus 0.75em minus 0.25em,
qed={\rule{1.5pt}{1em}}
qed={$\blacktriangleleft$}
]{definitionWithEnd}
% Für Definitionen dieses environment
\theoremstyle{definitionWithEnd}
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment