1 # This file provides theorem environments without adding preamble code or
2 # requiring packages. THis is useful for classes that define their own theorems
3 # like svjour3 or ijmpc.
4 # Author: Uwe Stöhr <uwestoehr@web.de>
6 # The environnements defined are :
23 # - Case (defined without a counter)
52 LabelString "Theorem \thetheorem."
62 \providecommand{\theoremname}{_(Theorem)}
65 \addto\captions$$lang{\renewcommand{\theoremname}{_(Theorem)}}
74 LabelCounter corollary
76 LabelString "Corollary \thecorollary."
78 \providecommand{\corollaryname}{_(Corollary)}
81 \addto\captions$$lang{\renewcommand{\corollaryname}{_(Corollary)}}
92 LabelString "Lemma \thelemma."
94 \providecommand{\lemmaname}{_(Lemma)}
97 \addto\captions$$lang{\renewcommand{\lemmaname}{_(Lemma)}}
106 LabelCounter proposition
107 LatexName proposition
108 LabelString "Proposition \theproposition."
110 \providecommand{\propositionname}{_(Proposition)}
113 \addto\captions$$lang{\renewcommand{\propositionname}{_(Proposition)}}
124 LabelString "Prop \theprop."
138 LabelCounter conjecture
140 LabelString "Conjecture \theconjecture."
149 \providecommand{\conjecturename}{_(Conjecture)}
152 \addto\captions$$lang{\renewcommand{\conjecturename}{_(Conjecture)}}
163 LabelString "Fact \thefact."
165 \providecommand{\factname}{_(Fact)}
168 \addto\captions$$lang{\renewcommand{\factname}{_(Fact)}}
177 LabelCounter definition
179 LabelString "Definition \thedefinition."
189 \providecommand{\definitionname}{_(Definition)}
192 \addto\captions$$lang{\renewcommand{\definitionname}{_(Definition)}}
203 LabelString "Example \theexample."
206 \providecommand{\examplename}{_(Example)}
209 \addto\captions$$lang{\renewcommand{\examplename}{_(Example)}}
221 LabelString "Problem \theproblem."
224 \providecommand{\problemname}{_(Problem)}
227 \addto\captions$$lang{\renewcommand{\problemname}{_(Problem)}}
235 # Prob does not copy a style to avoid preamble code
238 LatexType Environment
243 LabelString "\theprob."
266 LabelCounter solution
268 LabelString "Solution \thesolution."
271 \providecommand{\solutionname}{_(Solution)}
274 \addto\captions$$lang{\renewcommand{\solutionname}{_(Solution)}}
283 LabelString "# [number of Prob]"
292 LabelCounter exercise
294 LabelString "Exercise \theexercise."
297 \providecommand{\exercisename}{_(Exercise)}
300 \addto\captions$$lang{\renewcommand{\exercisename}{_(Exercise)}}
311 LabelString "Remark \theremark."
314 \providecommand{\remarkname}{_(Remark)}
317 \addto\captions$$lang{\renewcommand{\remarkname}{_(Remark)}}
327 \providecommand{\claimname}{_(Claim)}
330 \addto\captions$$lang{\renewcommand{\claimname}{_(Claim)}}
341 LabelString "Case \thecase."
344 \providecommand{\casename}{_(Case)}
347 \addto\captions$$lang{\renewcommand{\casename}{_(Case)}}
356 LabelCounter property
358 LabelString "Property \theproperty."
361 \providecommand{\propertyname}{_(Property)}
364 \addto\captions$$lang{\renewcommand{\propertyname}{_(Property)}}
373 LabelCounter question
375 LabelString "Question \thequestion."
378 \providecommand{\questionname}{_(Question)}
381 \addto\captions$$lang{\renewcommand{\questionname}{_(Question)}}
392 LabelString "Note \thenote."
395 \providecommand{\notename}{_(Note)}
398 \addto\captions$$lang{\renewcommand{\notename}{_(Note)}}