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"
47 LabelString "Name/Title"
48 Tooltip "Alternative optional name or title"
62 LabelString "Theorem \thetheorem."
72 \providecommand{\theoremname}{_(Theorem)}
75 \addto\captions$$lang{\renewcommand{\theoremname}{_(Theorem)}}
77 DocBookWrapperTag figure
78 DocBookWrapperAttr role='theorem'
80 DocBookGenerateTitle true
81 DocBookWrapperMergeWithPrevious true
87 PrettyFormat "Corollary ##"
91 LabelCounter corollary
93 LabelString "Corollary \thecorollary."
95 \providecommand{\corollaryname}{_(Corollary)}
98 \addto\captions$$lang{\renewcommand{\corollaryname}{_(Corollary)}}
100 DocBookWrapperTag figure
101 DocBookWrapperAttr role='corollary'
103 DocBookGenerateTitle true
104 DocBookWrapperMergeWithPrevious true
110 PrettyFormat "Lemma ##"
116 LabelString "Lemma \thelemma."
118 \providecommand{\lemmaname}{_(Lemma)}
121 \addto\captions$$lang{\renewcommand{\lemmaname}{_(Lemma)}}
123 DocBookWrapperTag figure
124 DocBookWrapperAttr role='lemma'
126 DocBookGenerateTitle true
127 DocBookWrapperMergeWithPrevious true
133 PrettyFormat "Proposition ##"
137 LabelCounter proposition
138 LatexName proposition
139 LabelString "Proposition \theproposition."
141 \providecommand{\propositionname}{_(Proposition)}
144 \addto\captions$$lang{\renewcommand{\propositionname}{_(Proposition)}}
146 DocBookWrapperTag figure
147 DocBookWrapperAttr role='proposition'
149 DocBookGenerateTitle true
150 DocBookWrapperMergeWithPrevious true
155 GuiName Prop(osition)
156 PrettyFormat "Proposition ##"
162 LabelString "Prop \theprop."
169 DocBookWrapperTag figure
170 DocBookWrapperAttr role='proposition'
172 DocBookGenerateTitle true
173 DocBookWrapperMergeWithPrevious true
179 PrettyFormat "Conjecture ##"
183 LabelCounter conjecture
185 LabelString "Conjecture \theconjecture."
194 \providecommand{\conjecturename}{_(Conjecture)}
197 \addto\captions$$lang{\renewcommand{\conjecturename}{_(Conjecture)}}
199 DocBookWrapperTag figure
200 DocBookWrapperAttr role='conjecture'
202 DocBookGenerateTitle true
203 DocBookWrapperMergeWithPrevious true
209 PrettyFormat "Fact ##"
215 LabelString "Fact \thefact."
217 \providecommand{\factname}{_(Fact)}
220 \addto\captions$$lang{\renewcommand{\factname}{_(Fact)}}
222 DocBookWrapperTag figure
223 DocBookWrapperAttr role='fact'
225 DocBookGenerateTitle true
226 DocBookWrapperMergeWithPrevious true
232 PrettyFormat "Definition ##"
236 LabelCounter definition
238 LabelString "Definition \thedefinition."
248 \providecommand{\definitionname}{_(Definition)}
251 \addto\captions$$lang{\renewcommand{\definitionname}{_(Definition)}}
253 DocBookWrapperTag figure
254 DocBookWrapperAttr role='definition'
256 DocBookGenerateTitle true
257 DocBookWrapperMergeWithPrevious true
263 PrettyFormat "Example ##"
269 LabelString "Example \theexample."
272 \providecommand{\examplename}{_(Example)}
275 \addto\captions$$lang{\renewcommand{\examplename}{_(Example)}}
277 DocBookWrapperTag informalexample
285 PrettyFormat "Problem ##"
292 LabelString "Problem \theproblem."
295 \providecommand{\problemname}{_(Problem)}
298 \addto\captions$$lang{\renewcommand{\problemname}{_(Problem)}}
300 DocBookWrapperTag figure
301 DocBookWrapperAttr role='problem'
303 DocBookGenerateTitle true
304 DocBookWrapperMergeWithPrevious true
311 PrettyFormat "Problem ##"
313 # Prob does not copy a style to avoid preamble code
316 LatexType Environment
321 LabelString "\theprob."
339 DocBookWrapperTag figure
340 DocBookWrapperAttr role='problem'
342 DocBookGenerateTitle true
343 DocBookWrapperMergeWithPrevious true
349 PrettyFormat "Solution ##"
353 LabelCounter solution
355 LabelString "Solution \thesolution."
358 \providecommand{\solutionname}{_(Solution)}
361 \addto\captions$$lang{\renewcommand{\solutionname}{_(Solution)}}
363 DocBookWrapperTag figure
364 DocBookWrapperAttr role='solution'
366 DocBookGenerateTitle true
367 DocBookWrapperMergeWithPrevious true
375 LabelString "# [number of Prob]"
378 LabelString "Label of Problem"
379 Tooltip "Label of the corresponding problem"
382 DocBookWrapperTag figure
383 DocBookWrapperAttr role='solution'
385 DocBookGenerateTitle true
386 DocBookWrapperMergeWithPrevious true
392 PrettyFormat "Exercise ##"
396 LabelCounter exercise
398 LabelString "Exercise \theexercise."
401 \providecommand{\exercisename}{_(Exercise)}
404 \addto\captions$$lang{\renewcommand{\exercisename}{_(Exercise)}}
406 DocBookWrapperTag figure
407 DocBookWrapperAttr role='exercise'
409 DocBookGenerateTitle true
410 DocBookWrapperMergeWithPrevious true
416 PrettyFormat "Remark ##"
422 LabelString "Remark \theremark."
425 \providecommand{\remarkname}{_(Remark)}
428 \addto\captions$$lang{\renewcommand{\remarkname}{_(Remark)}}
430 DocBookWrapperTag figure
431 DocBookWrapperAttr role='remark'
433 DocBookGenerateTitle true
434 DocBookWrapperMergeWithPrevious true
443 \providecommand{\claimname}{_(Claim)}
446 \addto\captions$$lang{\renewcommand{\claimname}{_(Claim)}}
448 DocBookWrapperTag figure
449 DocBookWrapperAttr role='claim'
451 DocBookGenerateTitle true
452 DocBookWrapperMergeWithPrevious true
458 PrettyFormat "Case ##"
464 LabelString "Case \thecase."
467 \providecommand{\casename}{_(Case)}
470 \addto\captions$$lang{\renewcommand{\casename}{_(Case)}}
472 DocBookWrapperTag figure
473 DocBookWrapperAttr role='case'
475 DocBookGenerateTitle true
476 DocBookWrapperMergeWithPrevious true
482 PrettyFormat "Property ##"
486 LabelCounter property
488 LabelString "Property \theproperty."
491 \providecommand{\propertyname}{_(Property)}
494 \addto\captions$$lang{\renewcommand{\propertyname}{_(Property)}}
496 DocBookWrapperTag figure
497 DocBookWrapperAttr role='property'
499 DocBookGenerateTitle true
500 DocBookWrapperMergeWithPrevious true
506 PrettyFormat "Question ##"
510 LabelCounter question
512 LabelString "Question \thequestion."
515 \providecommand{\questionname}{_(Question)}
518 \addto\captions$$lang{\renewcommand{\questionname}{_(Question)}}
520 DocBookWrapperTag figure
521 DocBookWrapperAttr role='question'
523 DocBookGenerateTitle true
524 DocBookWrapperMergeWithPrevious true
530 PrettyFormat "Note ##"
536 LabelString "Note \thenote."
539 \providecommand{\notename}{_(Note)}
542 \addto\captions$$lang{\renewcommand{\notename}{_(Note)}}
544 DocBookWrapperTag figure
545 DocBookWrapperAttr role='note'
547 DocBookGenerateTitle true