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)
41 LabelString "Name/Title"
42 Tooltip "Alternative optional name or title"
55 LabelString "Theorem \thetheorem."
65 \providecommand{\theoremname}{_(Theorem)}
68 \addto\captions$$lang{\renewcommand{\theoremname}{_(Theorem)}}
77 LabelCounter corollary
79 LabelString "Corollary \thecorollary."
81 \providecommand{\corollaryname}{_(Corollary)}
84 \addto\captions$$lang{\renewcommand{\corollaryname}{_(Corollary)}}
95 LabelString "Lemma \thelemma."
97 \providecommand{\lemmaname}{_(Lemma)}
100 \addto\captions$$lang{\renewcommand{\lemmaname}{_(Lemma)}}
109 LabelCounter proposition
110 LatexName proposition
111 LabelString "Proposition \theproposition."
113 \providecommand{\propositionname}{_(Proposition)}
116 \addto\captions$$lang{\renewcommand{\propositionname}{_(Proposition)}}
127 LabelString "Prop \theprop."
141 LabelCounter conjecture
143 LabelString "Conjecture \theconjecture."
152 \providecommand{\conjecturename}{_(Conjecture)}
155 \addto\captions$$lang{\renewcommand{\conjecturename}{_(Conjecture)}}
166 LabelString "Fact \thefact."
168 \providecommand{\factname}{_(Fact)}
171 \addto\captions$$lang{\renewcommand{\factname}{_(Fact)}}
180 LabelCounter definition
182 LabelString "Definition \thedefinition."
192 \providecommand{\definitionname}{_(Definition)}
195 \addto\captions$$lang{\renewcommand{\definitionname}{_(Definition)}}
206 LabelString "Example \theexample."
209 \providecommand{\examplename}{_(Example)}
212 \addto\captions$$lang{\renewcommand{\examplename}{_(Example)}}
224 LabelString "Problem \theproblem."
227 \providecommand{\problemname}{_(Problem)}
230 \addto\captions$$lang{\renewcommand{\problemname}{_(Problem)}}
238 # Prob does not copy a style to avoid preamble code
241 LatexType Environment
246 LabelString "\theprob."
269 LabelCounter solution
271 LabelString "Solution \thesolution."
274 \providecommand{\solutionname}{_(Solution)}
277 \addto\captions$$lang{\renewcommand{\solutionname}{_(Solution)}}
286 LabelString "# [number of Prob]"
289 LabelString "Label of Problem"
290 Tooltip "Label of the corresponding problem"
299 LabelCounter exercise
301 LabelString "Exercise \theexercise."
304 \providecommand{\exercisename}{_(Exercise)}
307 \addto\captions$$lang{\renewcommand{\exercisename}{_(Exercise)}}
318 LabelString "Remark \theremark."
321 \providecommand{\remarkname}{_(Remark)}
324 \addto\captions$$lang{\renewcommand{\remarkname}{_(Remark)}}
334 \providecommand{\claimname}{_(Claim)}
337 \addto\captions$$lang{\renewcommand{\claimname}{_(Claim)}}
348 LabelString "Case \thecase."
351 \providecommand{\casename}{_(Case)}
354 \addto\captions$$lang{\renewcommand{\casename}{_(Case)}}
363 LabelCounter property
365 LabelString "Property \theproperty."
368 \providecommand{\propertyname}{_(Property)}
371 \addto\captions$$lang{\renewcommand{\propertyname}{_(Property)}}
380 LabelCounter question
382 LabelString "Question \thequestion."
385 \providecommand{\questionname}{_(Question)}
388 \addto\captions$$lang{\renewcommand{\questionname}{_(Question)}}
399 LabelString "Note \thenote."
402 \providecommand{\notename}{_(Note)}
405 \addto\captions$$lang{\renewcommand{\notename}{_(Note)}}