From 6545412baf11aa044aabf606c7d44b3941c9fb20 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Maximilian=20Ke=C3=9Fler?= Date: Sun, 12 Jun 2022 17:20:57 +0200 Subject: [PATCH] add nobraces option to fancythm --- src/environments/fancythm/fancythm.dtx | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/src/environments/fancythm/fancythm.dtx b/src/environments/fancythm/fancythm.dtx index 98fa61a..0354071 100644 --- a/src/environments/fancythm/fancythm.dtx +++ b/src/environments/fancythm/fancythm.dtx @@ -569,7 +569,7 @@ \use:c { groupthm_#1_family:nnnnn } { ##1 } { dagger, star } { ##3 } { ##4 } { ##2 } \use:c { groupthm_#1_family_options:nnnn } { ##1 } - { !s !t+ } + { !s !t+ !t-} { \IfBooleanT { ####1 } { @@ -579,6 +579,10 @@ { \AddTheoremToGroup { dagger } } + \IfBooleanT { ####3 } + { + \AddTheoremToGroup { nobraces } + } } { ##2 } } @@ -686,12 +690,14 @@ % % % \begin{macrocode} +\declaretheoremstyle[notebraces={{}{}}]{nobraces} \groupthm_new_group:nnnnn { star } { } { * } { } { } \groupthm_new_group:nnnnn { dagger } { } { $^{\dagger}$ } { } { } \groupthm_new_group:nnnnn { big } { } { } { } { sibling = toplevel } \groupthm_new_group:nnnnn { small } { } { } { } { sibling = sublevel } \groupthm_new_group:nnnnn { tiny } { } { } { } { numbered = no } \groupthm_new_group:nnnnn { custom } { } { } { } { sibling = sublevel } +\groupthm_new_group:nnnnn { nobraces } { } { } { } { style = nobraces } % \end{macrocode} % \end{variable} %