2022-02-03 13:48:47 +01:00
|
|
|
\documentclass[12pt]{minimal}
|
2021-10-07 13:55:39 +02:00
|
|
|
|
2022-02-03 12:32:37 +01:00
|
|
|
\usepackage{l3benchmark}
|
|
|
|
|
2022-02-03 12:59:21 +01:00
|
|
|
\usepackage[cache]{groupthm}
|
2022-02-03 12:32:37 +01:00
|
|
|
|
2022-02-03 12:59:21 +01:00
|
|
|
\usepackage[generate defaults = false]{fancythm}
|
2022-02-03 12:32:37 +01:00
|
|
|
|
|
|
|
\ExplSyntaxOn
|
2022-02-03 13:48:47 +01:00
|
|
|
\iow_new:N \l_my_iow
|
|
|
|
\iow_open:Nn \l_my_iow { dump.txt }
|
|
|
|
|
2022-02-03 13:11:13 +01:00
|
|
|
\benchmark_once:n {
|
2022-02-03 13:48:47 +01:00
|
|
|
\AddToHook { begindocument / before } [ fancythm ]
|
|
|
|
{
|
|
|
|
\fancythm_provide_big_theorem:nn { style = thmredmarginandfill } { theorem }
|
|
|
|
\fancythm_provide_big_theorem:nn { style = thmredmarginandfill } { proposition }
|
|
|
|
\fancythm_provide_big_theorem:nn { style = thmredmarginandfill } { corollary }
|
|
|
|
\fancythm_provide_big_theorem:nn { style = thmbluemarginandfill } { definition }
|
|
|
|
\fancythm_provide_big_theorem:nn { style = thmorangemarginandfill} { lemma }
|
|
|
|
\fancythm_provide_big_theorem:nn { style = thmgreenmargin } { example }
|
|
|
|
\fancythm_provide_big_theorem:nn
|
|
|
|
{
|
|
|
|
style = thmredmarginbluefill,
|
|
|
|
name = Theorem ~ and ~ Definition
|
|
|
|
} { theoremdef }
|
|
|
|
\fancythm_provide_big_theorem:nn
|
|
|
|
{
|
|
|
|
style = thmredmarginbluefill,
|
|
|
|
name = Proposition ~ and ~ Definition
|
|
|
|
} { propositiondef }
|
|
|
|
\fancythm_provide_big_theorem:nn
|
|
|
|
{
|
|
|
|
style = thmorangemarginbluefill,
|
|
|
|
name = Lemma ~ and ~ Definition
|
|
|
|
} { propositiondef }
|
|
|
|
\fancythm_provide_small_theorem:nn { style = thmvioletmargin } { notation }
|
|
|
|
\fancythm_provide_small_theorem:nn { style = thmyellowmargin } { remark }
|
|
|
|
\fancythm_provide_small_theorem:nn { style = thmgoldmargin } { praise }
|
|
|
|
\fancythm_provide_small_theorem:nn { style = thmblackmarginandfill } { question }
|
|
|
|
\fancythm_provide_small_theorem:nn { style = thmblackmargin } { orga }
|
|
|
|
\fancythm_provide_small_theorem:nn { style = thmredmargin } { fact }
|
|
|
|
\fancythm_provide_small_theorem:nn
|
|
|
|
{
|
|
|
|
style = thmyellowmargin,
|
|
|
|
name = Trivial ~ Nonsense
|
|
|
|
} { trivial }
|
|
|
|
\fancythm_provide_small_theorem:nn
|
|
|
|
{
|
|
|
|
style = thmvioletmargin,
|
|
|
|
name = Abuse ~ of ~ Notation
|
|
|
|
} { abuse }
|
|
|
|
\fancythm_provide_small_theorem:nn
|
|
|
|
{
|
|
|
|
style = thmyellowmargin,
|
|
|
|
name = Oral ~ remark
|
|
|
|
} { oral }
|
|
|
|
\fancythm_provide_tiny_theorem:nn { } { variant }
|
|
|
|
\fancythm_provide_tiny_theorem:nn { } { assumption }
|
|
|
|
\fancythm_provide_tiny_theorem:nn { } { note }
|
|
|
|
\fancythm_provide_tiny_theorem:nn { } { warning }
|
|
|
|
\fancythm_provide_tiny_theorem:nn { } { goal }
|
|
|
|
\fancythm_provide_tiny_theorem:nn { } { strategy }
|
|
|
|
\fancythm_provide_tiny_theorem:nn { } { problem }
|
|
|
|
\fancythm_provide_tiny_theorem:nn { } { info }
|
|
|
|
\fancythm_provide_tiny_theorem:nn { } { observe }
|
|
|
|
\fancythm_provide_tiny_theorem:nn { } { property }
|
|
|
|
\fancythm_provide_tiny_theorem:nn { } { intuition }
|
|
|
|
\fancythm_provide_tiny_theorem:nn { } { recall }
|
|
|
|
\fancythm_provide_tiny_theorem:nn { } { idea }
|
|
|
|
\fancythm_provide_tiny_theorem:nn { } { exercise }
|
|
|
|
\fancythm_provide_tiny_theorem:nn { } { reminder }
|
|
|
|
}
|
|
|
|
}
|
2022-02-03 12:32:37 +01:00
|
|
|
\ExplSyntaxOff
|
|
|
|
|
2021-10-07 13:55:39 +02:00
|
|
|
\begin{document}
|
2022-02-03 13:48:47 +01:00
|
|
|
|
|
|
|
\begin{abuse}
|
|
|
|
|
|
|
|
\end{abuse}
|
|
|
|
|
2022-02-03 12:59:21 +01:00
|
|
|
nothing
|
2021-10-07 13:55:39 +02:00
|
|
|
\end{document}
|