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"
45 LabelString "Name/Title"
46 Tooltip "Alternative optional name or title"
60 LabelString "Theorem \thetheorem."
70 \providecommand{\theoremname}{_(Theorem)}
73 \addto\captions$$lang{\renewcommand{\theoremname}{_(Theorem)}}
83 LabelCounter corollary
85 LabelString "Corollary \thecorollary."
87 \providecommand{\corollaryname}{_(Corollary)}
90 \addto\captions$$lang{\renewcommand{\corollaryname}{_(Corollary)}}
102 LabelString "Lemma \thelemma."
104 \providecommand{\lemmaname}{_(Lemma)}
107 \addto\captions$$lang{\renewcommand{\lemmaname}{_(Lemma)}}
117 LabelCounter proposition
118 LatexName proposition
119 LabelString "Proposition \theproposition."
121 \providecommand{\propositionname}{_(Proposition)}
124 \addto\captions$$lang{\renewcommand{\propositionname}{_(Proposition)}}
130 GuiName Prop(osition)
136 LabelString "Prop \theprop."
151 LabelCounter conjecture
153 LabelString "Conjecture \theconjecture."
162 \providecommand{\conjecturename}{_(Conjecture)}
165 \addto\captions$$lang{\renewcommand{\conjecturename}{_(Conjecture)}}
177 LabelString "Fact \thefact."
179 \providecommand{\factname}{_(Fact)}
182 \addto\captions$$lang{\renewcommand{\factname}{_(Fact)}}
192 LabelCounter definition
194 LabelString "Definition \thedefinition."
204 \providecommand{\definitionname}{_(Definition)}
207 \addto\captions$$lang{\renewcommand{\definitionname}{_(Definition)}}
219 LabelString "Example \theexample."
222 \providecommand{\examplename}{_(Example)}
225 \addto\captions$$lang{\renewcommand{\examplename}{_(Example)}}
238 LabelString "Problem \theproblem."
241 \providecommand{\problemname}{_(Problem)}
244 \addto\captions$$lang{\renewcommand{\problemname}{_(Problem)}}
253 # Prob does not copy a style to avoid preamble code
256 LatexType Environment
261 LabelString "\theprob."
287 LabelCounter solution
289 LabelString "Solution \thesolution."
292 \providecommand{\solutionname}{_(Solution)}
295 \addto\captions$$lang{\renewcommand{\solutionname}{_(Solution)}}
304 LabelString "# [number of Prob]"
307 LabelString "Label of Problem"
308 Tooltip "Label of the corresponding problem"
319 LabelCounter exercise
321 LabelString "Exercise \theexercise."
324 \providecommand{\exercisename}{_(Exercise)}
327 \addto\captions$$lang{\renewcommand{\exercisename}{_(Exercise)}}
339 LabelString "Remark \theremark."
342 \providecommand{\remarkname}{_(Remark)}
345 \addto\captions$$lang{\renewcommand{\remarkname}{_(Remark)}}
355 \providecommand{\claimname}{_(Claim)}
358 \addto\captions$$lang{\renewcommand{\claimname}{_(Claim)}}
370 LabelString "Case \thecase."
373 \providecommand{\casename}{_(Case)}
376 \addto\captions$$lang{\renewcommand{\casename}{_(Case)}}
386 LabelCounter property
388 LabelString "Property \theproperty."
391 \providecommand{\propertyname}{_(Property)}
394 \addto\captions$$lang{\renewcommand{\propertyname}{_(Property)}}
404 LabelCounter question
406 LabelString "Question \thequestion."
409 \providecommand{\questionname}{_(Question)}
412 \addto\captions$$lang{\renewcommand{\questionname}{_(Question)}}
424 LabelString "Note \thenote."
427 \providecommand{\notename}{_(Note)}
430 \addto\captions$$lang{\renewcommand{\notename}{_(Note)}}