From 95c92b148e718c86d8bd02af80d8a9d557cf22a1 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Maximilian=20Ke=C3=9Fler?= <max@maximilian-kessler.de>
Date: Thu, 26 Aug 2021 17:43:37 +0200
Subject: [PATCH] add EXT operator. add 'zuSatz' and 'zuBeweis'

---
 mkessler-fancythm.sty | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/mkessler-fancythm.sty b/mkessler-fancythm.sty
index 4e47eac..0a6410d 100644
--- a/mkessler-fancythm.sty
+++ b/mkessler-fancythm.sty
@@ -444,6 +444,7 @@
 \declarebigtheorem[Satz und Definition][Theorem and Definition]{thmredmarginbluefill}{theoremdef}
 \declarebigtheorem[Proposition und Definition][Proposition and Definition]{thmredmarginbluefill}{propositiondef}
 \declarebigtheorem{thmvioletmarginandfill}{notation}
+\declarebigtheorem[zuSatz][Addition to Theorem]{thmredmarginandfill}{additiontheorem}
 
 %%%Environments that are not numbered by default (notation, question, example, remark etc) have two forms:
 % - normal form: won't be numbered unless 'numbersmallenvironments' is set
@@ -578,6 +579,7 @@
 
 %%Solution (for exercises)
 \newenvironment{solution}[1][]{\begin{proof}[\ifenglish{}Solution\else{}Lösung\fi{}#1]}{\end{proof}}
+\newenvironment{additionproof}[1][]{\begin{proof}[\ifenglish{}Additional proof\else{}zuBeweis\fi{}#1]}{\end{proof}}
 
 
 \RequirePackage[ngerman, ruled, vlined]{algorithm2e}