From 5e141841cbbbafae85b1a7f8a6eaecef3194ee57 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Maximilian=20Ke=C3=9Fler?= Date: Sun, 16 Jan 2022 18:42:53 +0100 Subject: [PATCH] add default group rules --- src/environments/groupthm.pysty3 | 12 ++++++++++++ 1 file changed, 12 insertions(+) diff --git a/src/environments/groupthm.pysty3 b/src/environments/groupthm.pysty3 index e88290d..13fef23 100644 --- a/src/environments/groupthm.pysty3 +++ b/src/environments/groupthm.pysty3 @@ -274,3 +274,15 @@ __HEADER__(Grouping theorems for easier customization.) [ thmtools = { numbered = no } ] { starred } + +\DeclareTheoremGroupRule { big } { incompatible-error } { small } + +\DeclareTheoremGroupRule { all } { lower } { big } +\DeclareTheoremGroupRule { all } { lower } { small } +\DeclareTheoremGroupRule { all } { lower } { dagger } +\DeclareTheoremGroupRule { all } { lower } { star } + +\DeclareTheoremGroupRule { starred } { higher } { big } +\DeclareTheoremGroupRule { starred } { higher } { small } +\DeclareTheoremGroupRule { starred } { higher } { dagger } +\DeclareTheoremGroupRule { starred } { higher } { star }