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)}}
78 DocBookAttr role='theorem'
87 LabelCounter corollary
89 LabelString "Corollary \thecorollary."
91 \providecommand{\corollaryname}{_(Corollary)}
94 \addto\captions$$lang{\renewcommand{\corollaryname}{_(Corollary)}}
97 DocBookAttr role='corollary'
108 LabelString "Lemma \thelemma."
110 \providecommand{\lemmaname}{_(Lemma)}
113 \addto\captions$$lang{\renewcommand{\lemmaname}{_(Lemma)}}
116 DocBookAttr role='lemma'
125 LabelCounter proposition
126 LatexName proposition
127 LabelString "Proposition \theproposition."
129 \providecommand{\propositionname}{_(Proposition)}
132 \addto\captions$$lang{\renewcommand{\propositionname}{_(Proposition)}}
135 DocBookAttr role='proposition'
140 GuiName Prop(osition)
146 LabelString "Prop \theprop."
154 DocBookAttr role='proposition'
163 LabelCounter conjecture
165 LabelString "Conjecture \theconjecture."
174 \providecommand{\conjecturename}{_(Conjecture)}
177 \addto\captions$$lang{\renewcommand{\conjecturename}{_(Conjecture)}}
180 DocBookAttr role='conjecture'
191 LabelString "Fact \thefact."
193 \providecommand{\factname}{_(Fact)}
196 \addto\captions$$lang{\renewcommand{\factname}{_(Fact)}}
199 DocBookAttr role='fact'
208 LabelCounter definition
210 LabelString "Definition \thedefinition."
220 \providecommand{\definitionname}{_(Definition)}
223 \addto\captions$$lang{\renewcommand{\definitionname}{_(Definition)}}
226 DocBookAttr role='definition'
237 LabelString "Example \theexample."
240 \providecommand{\examplename}{_(Example)}
243 \addto\captions$$lang{\renewcommand{\examplename}{_(Example)}}
245 DocBookWrapperTag informalexample
259 LabelString "Problem \theproblem."
262 \providecommand{\problemname}{_(Problem)}
265 \addto\captions$$lang{\renewcommand{\problemname}{_(Problem)}}
268 DocBookAttr role='problem'
276 # Prob does not copy a style to avoid preamble code
279 LatexType Environment
284 LabelString "\theprob."
303 DocBookAttr role='problem'
312 LabelCounter solution
314 LabelString "Solution \thesolution."
317 \providecommand{\solutionname}{_(Solution)}
320 \addto\captions$$lang{\renewcommand{\solutionname}{_(Solution)}}
323 DocBookAttr role='solution'
331 LabelString "# [number of Prob]"
334 LabelString "Label of Problem"
335 Tooltip "Label of the corresponding problem"
339 DocBookAttr role='solution'
348 LabelCounter exercise
350 LabelString "Exercise \theexercise."
353 \providecommand{\exercisename}{_(Exercise)}
356 \addto\captions$$lang{\renewcommand{\exercisename}{_(Exercise)}}
359 DocBookAttr role='exercise'
370 LabelString "Remark \theremark."
373 \providecommand{\remarkname}{_(Remark)}
376 \addto\captions$$lang{\renewcommand{\remarkname}{_(Remark)}}
388 \providecommand{\claimname}{_(Claim)}
391 \addto\captions$$lang{\renewcommand{\claimname}{_(Claim)}}
394 DocBookAttr role='claim'
406 LabelString "Case \thecase."
409 \providecommand{\casename}{_(Case)}
412 \addto\captions$$lang{\renewcommand{\casename}{_(Case)}}
415 DocBookAttr role='case'
424 LabelCounter property
426 LabelString "Property \theproperty."
429 \providecommand{\propertyname}{_(Property)}
432 \addto\captions$$lang{\renewcommand{\propertyname}{_(Property)}}
435 DocBookAttr role='property'
444 LabelCounter question
446 LabelString "Question \thequestion."
449 \providecommand{\questionname}{_(Question)}
452 \addto\captions$$lang{\renewcommand{\questionname}{_(Question)}}
455 DocBookAttr role='question'
466 LabelString "Note \thenote."
469 \providecommand{\notename}{_(Note)}
472 \addto\captions$$lang{\renewcommand{\notename}{_(Note)}}