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)
31 OutlinerName thm "Definitions & Theorems"
44 LabelString "Name/Title"
45 Tooltip "Alternative optional name or title"
59 LabelString "Theorem \thetheorem."
69 \providecommand{\theoremname}{_(Theorem)}
72 \addto\captions$$lang{\renewcommand{\theoremname}{_(Theorem)}}
81 LabelCounter corollary
83 LabelString "Corollary \thecorollary."
85 \providecommand{\corollaryname}{_(Corollary)}
88 \addto\captions$$lang{\renewcommand{\corollaryname}{_(Corollary)}}
99 LabelString "Lemma \thelemma."
101 \providecommand{\lemmaname}{_(Lemma)}
104 \addto\captions$$lang{\renewcommand{\lemmaname}{_(Lemma)}}
113 LabelCounter proposition
114 LatexName proposition
115 LabelString "Proposition \theproposition."
117 \providecommand{\propositionname}{_(Proposition)}
120 \addto\captions$$lang{\renewcommand{\propositionname}{_(Proposition)}}
131 LabelString "Prop \theprop."
145 LabelCounter conjecture
147 LabelString "Conjecture \theconjecture."
156 \providecommand{\conjecturename}{_(Conjecture)}
159 \addto\captions$$lang{\renewcommand{\conjecturename}{_(Conjecture)}}
170 LabelString "Fact \thefact."
172 \providecommand{\factname}{_(Fact)}
175 \addto\captions$$lang{\renewcommand{\factname}{_(Fact)}}
184 LabelCounter definition
186 LabelString "Definition \thedefinition."
196 \providecommand{\definitionname}{_(Definition)}
199 \addto\captions$$lang{\renewcommand{\definitionname}{_(Definition)}}
210 LabelString "Example \theexample."
213 \providecommand{\examplename}{_(Example)}
216 \addto\captions$$lang{\renewcommand{\examplename}{_(Example)}}
228 LabelString "Problem \theproblem."
231 \providecommand{\problemname}{_(Problem)}
234 \addto\captions$$lang{\renewcommand{\problemname}{_(Problem)}}
242 # Prob does not copy a style to avoid preamble code
245 LatexType Environment
250 LabelString "\theprob."
275 LabelCounter solution
277 LabelString "Solution \thesolution."
280 \providecommand{\solutionname}{_(Solution)}
283 \addto\captions$$lang{\renewcommand{\solutionname}{_(Solution)}}
292 LabelString "# [number of Prob]"
295 LabelString "Label of Problem"
296 Tooltip "Label of the corresponding problem"
306 LabelCounter exercise
308 LabelString "Exercise \theexercise."
311 \providecommand{\exercisename}{_(Exercise)}
314 \addto\captions$$lang{\renewcommand{\exercisename}{_(Exercise)}}
325 LabelString "Remark \theremark."
328 \providecommand{\remarkname}{_(Remark)}
331 \addto\captions$$lang{\renewcommand{\remarkname}{_(Remark)}}
341 \providecommand{\claimname}{_(Claim)}
344 \addto\captions$$lang{\renewcommand{\claimname}{_(Claim)}}
355 LabelString "Case \thecase."
358 \providecommand{\casename}{_(Case)}
361 \addto\captions$$lang{\renewcommand{\casename}{_(Case)}}
370 LabelCounter property
372 LabelString "Property \theproperty."
375 \providecommand{\propertyname}{_(Property)}
378 \addto\captions$$lang{\renewcommand{\propertyname}{_(Property)}}
387 LabelCounter question
389 LabelString "Question \thequestion."
392 \providecommand{\questionname}{_(Question)}
395 \addto\captions$$lang{\renewcommand{\questionname}{_(Question)}}
406 LabelString "Note \thenote."
409 \providecommand{\notename}{_(Note)}
412 \addto\captions$$lang{\renewcommand{\notename}{_(Note)}}