prettytex/theorems.sty at master · MrP01/prettytex · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
\ProvidesPackage{prettytex/theorems}
\RequirePackage{prettytex/base}
\RequirePackage{prettytex/boxes}


\makeatletter
\renewcommand\thmt@autorefsetup{%
  \@xa\def\csname\thmt@envname autorefname\@xa\endcsname\@xa{\thmt@thmname}%
}
\makeatletter

\newcommand{\theoremname}{Theorem}
\newcommand{\lemmaname}{Lemma}
\newcommand{\propositionname}{Proposition}
\newcommand{\corollaryname}{Corollary}
\newcommand{\definitionname}{Definition}
\newcommand{\remarkname}{Remark}
\newcommand{\remarksname}{Remarks}
\newcommand{\examplename}{Example}
\newcommand{\examplesname}{Examples}
\newcommand{\axiomname}{Axiom}
\newcommand{\axiomsname}{Axioms}
\newcommand{\principlename}{Principle}
\newcommand{\principlesname}{Principles}


\DeclareOption{de}{
    \renewcommand{\theoremname}{Satz}
    \renewcommand{\lemmaname}{Lemma}
    \renewcommand{\propositionname}{Proposition}
    \renewcommand{\corollaryname}{Korollar}
    \renewcommand{\definitionname}{Definition}
    \renewcommand{\remarkname}{Bemerkung}
    \renewcommand{\remarksname}{Bemerkungen}
    \renewcommand{\examplename}{Beispiel}
    \renewcommand{\examplesname}{Beispiele}
    \renewcommand{\axiomname}{Axiom}
    \renewcommand{\axiomsname}{Axiome}
    \renewcommand{\principlename}{Prinzip}
    \renewcommand{\principlesname}{Prinzipien}

    \Crefname{theorem}{Satz}{Sätze}
    \Crefname{lemma}{Lemma}{Lemmata}
    \Crefname{proposition}{Proposition}{Propositionen}
    \Crefname{corollary}{Korollar}{Korollare}
    \Crefname{Definition}{Definition}{Definitionen}
    \Crefname{remark}{Bemerkung}{Bemerkungen}
    \Crefname{remarks}{Bemerkung}{Bemerkungen}
    \Crefname{example}{Beispiel}{Beispiele}
    \Crefname{axiom}{Axiom}{Axiome}
    \Crefname{axioms}{Axiom}{Axiome}
    \Crefname{principle}{Prinzip}{Prinzipien}
    \Crefname{principles}{Prinzipien}{Prinzipien}

}
\DeclareOption{en}{}
\ProcessOptions\relax

\newcommand{\theoremcolour}{themecolor3}
\newcommand{\definitioncolour}{themecolor2}
\newcommand{\lemmacolour}{pastelpurple}
\newcommand{\corollarycolour}{pastelpink}
\newcommand{\axiomcolour}{themecolor4}
\newcommand{\principlecolour}{darkred}

\newtheorem{theorem}{\theoremname}[section]
\newtheorem{corollary}[theorem]{\corollaryname}
\newtheorem{lemma}[theorem]{\lemmaname}
\newtheorem{proposition}[theorem]{\propositionname}

\theoremstyle{definition}
\newtheorem{definition}[theorem]{\definitionname}
\newtheorem{axiom}[theorem]{\axiomname}
\newtheorem{axioms}[theorem]{\axiomsname}
\newtheorem{principle}[theorem]{\principlename}
\newtheorem{principles}[theorem]{\principlesname}

\theoremstyle{remark}
\newtheorem{remark}[theorem]{\remarkname}
\newtheorem{remarks}[theorem]{\remarksname}
\newtheorem*{remark*}{\remarkname}
\newtheorem{example}[theorem]{\examplename}
\newtheorem{examples}[theorem]{\examplesname}


\miniwrap{definition}{\definitioncolour}
\miniwrap{theorem}{\theoremcolour}
\miniwrap{proposition}{\theoremcolour}
\miniwrap{lemma}{\lemmacolour}
\miniwrap{corollary}{\corollarycolour}
\miniwrap{axiom}{\axiomcolour}
\miniwrap{axioms}{\axiomcolour}
\miniwrap{principle}{\principlecolour}
\miniwrap{principles}{\principlecolour}


\declareEnvList{theorem}{\thetheorem}{\theoremname}{\MakeLowercase{\theoremname}}
\declareEnvList{lemma}{\thelemma}{\lemmaname}{\MakeLowercase{\lemmaname}}
\declareEnvList{corollary}{\thecorollary}{\corollaryname}{\MakeLowercase{\corollaryname}}
\declareEnvList{proposition}{\theproposition}{\propositionname}{\MakeLowercase{\propositionname}}
\declareEnvList{definition}{\thedefinition}{\definitionname}{\MakeLowercase{\definitionname}}
\declareEnvList{axiom}{\theaxiom}{\axiomname}{\MakeLowercase{\axiomname}}
\declareEnvList{axioms}{\theaxioms}{\axiomname}{\MakeLowercase{\axiomname}}
\declareEnvList{principle}{\theprinciple}{\principlename}{\MakeLowercase{\principlename}}
\declareEnvList{principles}{\theprinciples}{\principlename}{\MakeLowercase{\principlena}}
\declareEnvList{remark}{\theremark}{\remarkname}{\MakeLowercase{\remarkname}}
\declareEnvList{remarks}{\theremarks}{\remarksname}{\MakeLowercase{\remarksname}}
\declareEnvList{example}{\theexample}{\examplename}{\MakeLowercase{\examplename}}
\declareEnvList{examples}{\theexamples}{\examplename}{\MakeLowercase{\examplesname}}