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
83 LabelString "Corollary."
86 \newtheorem*{cor*}{\protect\corollaryname}
89 \providecommand{\corollaryname}{_(Corollary)}
92 \addto\captions$$lang{\renewcommand{\corollaryname}{_(Corollary)}}
94 DocBookWrapperTag figure
95 DocBookWrapperAttr role='corollary'
97 DocBookGenerateTitle true
107 \newtheorem*{lem*}{\protect\lemmaname}
110 \providecommand{\lemmaname}{_(Lemma)}
113 \addto\captions$$lang{\renewcommand{\lemmaname}{_(Lemma)}}
115 DocBookWrapperTag figure
116 DocBookWrapperAttr role='lemma'
118 DocBookGenerateTitle true
125 LabelString "Proposition."
128 \newtheorem*{prop*}{\protect\propositionname}
131 \providecommand{\propositionname}{_(Proposition)}
134 \addto\captions$$lang{\renewcommand{\propositionname}{_(Proposition)}}
136 DocBookWrapperTag figure
137 DocBookWrapperAttr role='proposition'
139 DocBookGenerateTitle true
145 LatexName conjecture*
146 LabelString "Conjecture."
149 \newtheorem*{conjecture*}{\protect\conjecturename}
152 \providecommand{\conjecturename}{_(Conjecture)}
155 \addto\captions$$lang{\renewcommand{\conjecturename}{_(Conjecture)}}
157 DocBookWrapperTag figure
158 DocBookWrapperAttr role='conjecture'
160 DocBookGenerateTitle true
170 \newtheorem*{fact*}{\protect\factname}
173 \providecommand{\factname}{_(Fact)}
176 \addto\captions$$lang{\renewcommand{\factname}{_(Fact)}}
178 DocBookWrapperTag figure
179 DocBookWrapperAttr role='fact'
181 DocBookGenerateTitle true
189 LabelString "Definition."
198 \theoremstyle{definition}
199 \newtheorem*{defn*}{\protect\definitionname}
202 \providecommand{\definitionname}{_(Definition)}
205 \addto\captions$$lang{\renewcommand{\definitionname}{_(Definition)}}
207 DocBookWrapperTag figure
208 DocBookWrapperAttr role='definition'
210 DocBookGenerateTitle true
215 CopyStyle Definition*
217 LabelString "Example."
219 \theoremstyle{definition}
220 \newtheorem*{example*}{\protect\examplename}
223 \providecommand{\examplename}{_(Example)}
226 \addto\captions$$lang{\renewcommand{\examplename}{_(Example)}}
228 DocBookWrapperTag informalexample
235 CopyStyle Definition*
237 LabelString "Problem."
239 \theoremstyle{definition}
240 \newtheorem*{problem*}{\protect\problemname}
243 \providecommand{\problemname}{_(Problem)}
246 \addto\captions$$lang{\renewcommand{\problemname}{_(Problem)}}
248 DocBookWrapperTag figure
249 DocBookWrapperAttr role='problem'
251 DocBookGenerateTitle true
256 CopyStyle Definition*
258 LabelString "Exercise."
260 \theoremstyle{definition}
261 \newtheorem*{xca*}{\protect\exercisename}
264 \providecommand{\exercisename}{_(Exercise)}
267 \addto\captions$$lang{\renewcommand{\exercisename}{_(Exercise)}}
269 DocBookWrapperTag figure
270 DocBookWrapperAttr role='exercise'
272 DocBookGenerateTitle true
277 CopyStyle Definition*
279 LabelString "Solution."
281 \theoremstyle{definition}
282 \newtheorem*{sol*}{\protect\solutionname}
285 \providecommand{\solutionname}{_(Solution)}
288 \addto\captions$$lang{\renewcommand{\solutionname}{_(Solution)}}
290 DocBookWrapperTag figure
291 DocBookWrapperAttr role='solution'
293 DocBookGenerateTitle true
300 LabelString "Remark."
310 \theoremstyle{remark}
311 \newtheorem*{rem*}{\protect\remarkname}
314 \providecommand{\remarkname}{_(Remark)}
317 \addto\captions$$lang{\renewcommand{\remarkname}{_(Remark)}}
319 DocBookWrapperTag figure
320 DocBookWrapperAttr role='remark'
322 DocBookGenerateTitle true
331 \theoremstyle{remark}
332 \newtheorem*{claim*}{\protect\claimname}
335 \providecommand{\claimname}{_(Claim)}
338 \addto\captions$$lang{\renewcommand{\claimname}{_(Claim)}}
340 DocBookWrapperTag figure
341 DocBookWrapperAttr role='claim'
343 DocBookGenerateTitle true