1 # Original Author : David L. Johnson <dlj0@lehigh.edu>
2 # Probably broken by Jean-Marc Lasgouttes <Jean-Marc.Lasgouttes@inria.fr>
3 # modified and modularized by Emmanuel GUREGHIAN <gureghia@boston.bertin.fr>
4 # Tinkered with Sep. '07 by Paul Rubin <rubin@msu.edu>
5 # Modularized Jan 08 by Richard Kimberly Heck <rikiheck@lyx.org>
7 # The starred environments defined are :
22 # TODO: for DocBook, there is no difference with standard (not starred) environments.
23 # How to encode the subtlety?
27 OutlinerName thm "Definitions & Theorems"
35 LabelString "Theorem."
41 LabelString "Additional Theorem Text"
42 Tooltip "Additional text appended to the theorem header"
64 \newtheorem*{thm*}{\protect\theoremname}
67 \providecommand{\theoremname}{_(Theorem)}
70 \addto\captions$$lang{\renewcommand{\theoremname}{_(Theorem)}}
73 DocBookWrapperTag figure
74 DocBookWrapperAttr role='theorem'
76 DocBookGenerateTitle true
77 DocBookWrapperMergeWithPrevious true
84 LabelString "Corollary."
87 \newtheorem*{cor*}{\protect\corollaryname}
90 \providecommand{\corollaryname}{_(Corollary)}
93 \addto\captions$$lang{\renewcommand{\corollaryname}{_(Corollary)}}
95 DocBookWrapperTag figure
96 DocBookWrapperAttr role='corollary'
98 DocBookGenerateTitle true
99 DocBookWrapperMergeWithPrevious true
109 \newtheorem*{lem*}{\protect\lemmaname}
112 \providecommand{\lemmaname}{_(Lemma)}
115 \addto\captions$$lang{\renewcommand{\lemmaname}{_(Lemma)}}
117 DocBookWrapperTag figure
118 DocBookWrapperAttr role='lemma'
120 DocBookGenerateTitle true
121 DocBookWrapperMergeWithPrevious true
128 LabelString "Proposition."
131 \newtheorem*{prop*}{\protect\propositionname}
134 \providecommand{\propositionname}{_(Proposition)}
137 \addto\captions$$lang{\renewcommand{\propositionname}{_(Proposition)}}
139 DocBookWrapperTag figure
140 DocBookWrapperAttr role='proposition'
142 DocBookGenerateTitle true
143 DocBookWrapperMergeWithPrevious true
149 LatexName conjecture*
150 LabelString "Conjecture."
153 \newtheorem*{conjecture*}{\protect\conjecturename}
156 \providecommand{\conjecturename}{_(Conjecture)}
159 \addto\captions$$lang{\renewcommand{\conjecturename}{_(Conjecture)}}
161 DocBookWrapperTag figure
162 DocBookWrapperAttr role='conjecture'
164 DocBookGenerateTitle true
165 DocBookWrapperMergeWithPrevious true
175 \newtheorem*{fact*}{\protect\factname}
178 \providecommand{\factname}{_(Fact)}
181 \addto\captions$$lang{\renewcommand{\factname}{_(Fact)}}
183 DocBookWrapperTag figure
184 DocBookWrapperAttr role='fact'
186 DocBookGenerateTitle true
187 DocBookWrapperMergeWithPrevious true
195 LabelString "Definition."
204 \theoremstyle{definition}
205 \newtheorem*{defn*}{\protect\definitionname}
208 \providecommand{\definitionname}{_(Definition)}
211 \addto\captions$$lang{\renewcommand{\definitionname}{_(Definition)}}
213 DocBookWrapperTag figure
214 DocBookWrapperAttr role='definition'
216 DocBookGenerateTitle true
217 DocBookWrapperMergeWithPrevious true
222 CopyStyle Definition*
224 LabelString "Example."
226 \theoremstyle{definition}
227 \newtheorem*{example*}{\protect\examplename}
230 \providecommand{\examplename}{_(Example)}
233 \addto\captions$$lang{\renewcommand{\examplename}{_(Example)}}
235 DocBookWrapperTag informalexample
242 CopyStyle Definition*
244 LabelString "Problem."
246 \theoremstyle{definition}
247 \newtheorem*{problem*}{\protect\problemname}
250 \providecommand{\problemname}{_(Problem)}
253 \addto\captions$$lang{\renewcommand{\problemname}{_(Problem)}}
255 DocBookWrapperTag figure
256 DocBookWrapperAttr role='problem'
258 DocBookGenerateTitle true
259 DocBookWrapperMergeWithPrevious true
264 CopyStyle Definition*
266 LabelString "Exercise."
268 \theoremstyle{definition}
269 \newtheorem*{xca*}{\protect\exercisename}
272 \providecommand{\exercisename}{_(Exercise)}
275 \addto\captions$$lang{\renewcommand{\exercisename}{_(Exercise)}}
277 DocBookWrapperTag figure
278 DocBookWrapperAttr role='exercise'
280 DocBookGenerateTitle true
281 DocBookWrapperMergeWithPrevious true
286 CopyStyle Definition*
288 LabelString "Solution."
290 \theoremstyle{definition}
291 \newtheorem*{sol*}{\protect\solutionname}
294 \providecommand{\solutionname}{_(Solution)}
297 \addto\captions$$lang{\renewcommand{\solutionname}{_(Solution)}}
299 DocBookWrapperTag figure
300 DocBookWrapperAttr role='solution'
302 DocBookGenerateTitle true
303 DocBookWrapperMergeWithPrevious true
310 LabelString "Remark."
320 \theoremstyle{remark}
321 \newtheorem*{rem*}{\protect\remarkname}
324 \providecommand{\remarkname}{_(Remark)}
327 \addto\captions$$lang{\renewcommand{\remarkname}{_(Remark)}}
329 DocBookWrapperTag figure
330 DocBookWrapperAttr role='remark'
332 DocBookGenerateTitle true
333 DocBookWrapperMergeWithPrevious true
342 \theoremstyle{remark}
343 \newtheorem*{claim*}{\protect\claimname}
346 \providecommand{\claimname}{_(Claim)}
349 \addto\captions$$lang{\renewcommand{\claimname}{_(Claim)}}
351 DocBookWrapperTag figure
352 DocBookWrapperAttr role='claim'
354 DocBookGenerateTitle true
355 DocBookWrapperMergeWithPrevious true