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)}}
76 DocBookAttr role='theorem'
85 LabelCounter corollary
87 LabelString "Corollary \thecorollary."
89 \providecommand{\corollaryname}{_(Corollary)}
92 \addto\captions$$lang{\renewcommand{\corollaryname}{_(Corollary)}}
95 DocBookAttr role='corollary'
106 LabelString "Lemma \thelemma."
108 \providecommand{\lemmaname}{_(Lemma)}
111 \addto\captions$$lang{\renewcommand{\lemmaname}{_(Lemma)}}
114 DocBookAttr role='lemma'
123 LabelCounter proposition
124 LatexName proposition
125 LabelString "Proposition \theproposition."
127 \providecommand{\propositionname}{_(Proposition)}
130 \addto\captions$$lang{\renewcommand{\propositionname}{_(Proposition)}}
133 DocBookAttr role='proposition'
138 GuiName Prop(osition)
144 LabelString "Prop \theprop."
152 DocBookAttr role='proposition'
161 LabelCounter conjecture
163 LabelString "Conjecture \theconjecture."
172 \providecommand{\conjecturename}{_(Conjecture)}
175 \addto\captions$$lang{\renewcommand{\conjecturename}{_(Conjecture)}}
178 DocBookAttr role='conjecture'
189 LabelString "Fact \thefact."
191 \providecommand{\factname}{_(Fact)}
194 \addto\captions$$lang{\renewcommand{\factname}{_(Fact)}}
197 DocBookAttr role='fact'
206 LabelCounter definition
208 LabelString "Definition \thedefinition."
218 \providecommand{\definitionname}{_(Definition)}
221 \addto\captions$$lang{\renewcommand{\definitionname}{_(Definition)}}
224 DocBookAttr role='definition'
235 LabelString "Example \theexample."
238 \providecommand{\examplename}{_(Example)}
241 \addto\captions$$lang{\renewcommand{\examplename}{_(Example)}}
243 DocBookWrapperTag informalexample
257 LabelString "Problem \theproblem."
260 \providecommand{\problemname}{_(Problem)}
263 \addto\captions$$lang{\renewcommand{\problemname}{_(Problem)}}
266 DocBookAttr role='problem'
274 # Prob does not copy a style to avoid preamble code
277 LatexType Environment
282 LabelString "\theprob."
301 DocBookAttr role='problem'
310 LabelCounter solution
312 LabelString "Solution \thesolution."
315 \providecommand{\solutionname}{_(Solution)}
318 \addto\captions$$lang{\renewcommand{\solutionname}{_(Solution)}}
321 DocBookAttr role='solution'
329 LabelString "# [number of Prob]"
332 LabelString "Label of Problem"
333 Tooltip "Label of the corresponding problem"
337 DocBookAttr role='solution'
346 LabelCounter exercise
348 LabelString "Exercise \theexercise."
351 \providecommand{\exercisename}{_(Exercise)}
354 \addto\captions$$lang{\renewcommand{\exercisename}{_(Exercise)}}
357 DocBookAttr role='exercise'
368 LabelString "Remark \theremark."
371 \providecommand{\remarkname}{_(Remark)}
374 \addto\captions$$lang{\renewcommand{\remarkname}{_(Remark)}}
386 \providecommand{\claimname}{_(Claim)}
389 \addto\captions$$lang{\renewcommand{\claimname}{_(Claim)}}
392 DocBookAttr role='claim'
404 LabelString "Case \thecase."
407 \providecommand{\casename}{_(Case)}
410 \addto\captions$$lang{\renewcommand{\casename}{_(Case)}}
413 DocBookAttr role='case'
422 LabelCounter property
424 LabelString "Property \theproperty."
427 \providecommand{\propertyname}{_(Property)}
430 \addto\captions$$lang{\renewcommand{\propertyname}{_(Property)}}
433 DocBookAttr role='property'
442 LabelCounter question
444 LabelString "Question \thequestion."
447 \providecommand{\questionname}{_(Question)}
450 \addto\captions$$lang{\renewcommand{\questionname}{_(Question)}}
453 DocBookAttr role='question'
464 LabelString "Note \thenote."
467 \providecommand{\notename}{_(Note)}
470 \addto\captions$$lang{\renewcommand{\notename}{_(Note)}}