add default group rules

This commit is contained in:
Maximilian Keßler 2022-01-16 18:42:53 +01:00
parent 886e562574
commit 5e141841cb

View file

@ -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 }