1 # 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 # This version has Theorems and other results numbered in one sequence, and all
5 # numbered environments (figures as well) containing the section number.
6 # (Themorem (1.1), Corollary (1.2) Theorem (1.3), etc.
7 # These are only the theorems styles environnements
10 # The environnements defined are :
47 # Theorem-numbered style declaration
61 AlignPossible Block, Left
63 LabelString "Theorem #."
66 # standard font definition
72 # label font definition
80 # Theorem-unnumbered style declaration
84 LabelString "Theorem."
88 \newtheorem*{thm*}{Theorem}
92 # Corollary-numbered style declaration
96 LabelString "Corollary #."
100 \newtheorem{cor}[thm]{Corollary} %%Delete [thm] to re-start numbering
103 # Corollary-unnumbered style declaration
107 LabelString "Corollary."
111 \newtheorem*{cor*}{Corollary}
115 # Lemma-numbered style declaration
119 LabelString "Lemma #."
123 \newtheorem{lem}[thm]{Lemma} %%Delete [thm] to re-start numbering
127 # Lemma-unnumbered style declaration
135 \newtheorem*{lem*}{Lemma} %%Delete [thm] to re-start numbering
139 # Proposition-numbered style declaration
143 LabelString "Proposition #."
147 \newtheorem{prop}[thm]{Proposition} %%Delete [thm] to re-start numbering
151 # Proposition-unnumbered style declaration
155 LabelString "Proposition."
159 \newtheorem*{prop*}{Proposition}
163 # Conjecture-numbered style declaration
167 LabelString "Conjecture #."
171 \newtheorem{conjecture}[thm]{Conjecture} %%Delete [thm] to re-start numbering
175 # Conjecture-unnumbered style declaration
178 LatexName conjecture*
179 LabelString "Conjecture."
183 \newtheorem*{conjecture*}{Conjecture}
187 # Criterion-numbered style declaration
191 LabelString "Criterion #."
195 \newtheorem{criterion}[thm]{Criterion} %%Delete [thm] to re-start numbering
199 # Algorithm-numbered style declaration
203 LabelString "Algorithm #."
207 \newtheorem{algorithm}[thm]{Algorithm} %%Delete [thm] to re-start numbering
211 # Fact-numbered style declaration
215 LabelString "Fact #."
219 \newtheorem{fact}[thm]{Fact}
223 # Fact-unnumbered style declaration
231 \newtheorem*{fact*}{Fact}
235 # Axiom-numbered style declaration
239 LabelString "Axiom #."
243 \newtheorem{ax}[thm]{Axiom}
247 # Definition-numbered style declaration
251 LabelString "Definition #."
253 # standard font definition
258 # label font definition
265 \theoremstyle{definition}
266 \newtheorem{defn}[thm]{Definition}
269 # Definition-unnumbered style declaration
273 LabelString "Definition."
276 \theoremstyle{definition}
277 \newtheorem*{defn*}{Definition}
281 # Example-numbered style declaration
285 LabelString "Example #."
288 \theoremstyle{definition}
289 \newtheorem{example}[thm]{Example}
293 # Example-unnumbered style declaration
297 LabelString "Example."
300 \theoremstyle{definition}
301 \newtheorem*{example*}{Example}
305 # Condition-numbered style declaration
309 LabelString "Condition #."
312 \theoremstyle{definition}
313 \newtheorem{condition}[thm]{Condition}
317 # Problem-numbered style declaration
321 LabelString "Problem #."
324 \theoremstyle{definition}
325 \newtheorem{problem}[thm]{Problem}
329 # Exercise-numbered style declaration
333 LabelString "Exercise #."
336 \theoremstyle{definition}
337 \newtheorem{xca}[section]{Exercise}%%Delete [section] for sequential numbering
341 # Remark-numbered style declaration
345 LabelString "Remark #."
347 # standard font definition
353 # label font definition
360 \theoremstyle{remark}
361 \newtheorem{rem}[thm]{Remark}
364 # Remark-unnumbered style declaration
368 LabelString "Remark."
371 \theoremstyle{remark}
372 \newtheorem*{rem*}{Remark}
376 # Claim-numbered style declaration
380 LabelString "Claim #."
383 \theoremstyle{remark}
384 \newtheorem{claim}[thm]{Claim}
388 # Claim-unnumbered style declaration
395 \theoremstyle{remark}
396 \newtheorem*{claim*}{Claim}
400 # Note-numbered style declaration
404 LabelString "Note #."
407 \theoremstyle{remark}
408 \newtheorem{note}[thm]{Note}
412 # Note-unnumbered style declaration
419 \theoremstyle{remark}
420 \newtheorem*{note*}{Note}
425 # Notation-numbered style declaration
429 LabelString "Notation #."
432 \theoremstyle{remark}
433 \newtheorem{notation}[thm]{Notation}
437 # Summary-numbered style declaration
441 LabelString "Summary #."
444 \theoremstyle{remark}
445 \newtheorem{summary}[thm]{Summary}
449 # Acknowledgement-numbered style declaration
450 Style Acknowledgement
452 LatexName acknowledgement
453 LabelString "Acknowledgement #."
456 \theoremstyle{remark}
457 \newtheorem{acknowledgement}[thm]{Acknowledgement}
460 # Acknowledgement-unnumbered style declaration
461 Style Acknowledgement*
463 LatexName acknowledgement*
464 LabelString "Acknowledgement."
467 \theoremstyle{remark}
468 \newtheorem*{acknowledgement*}{Acknowledgement}
472 # Case-numbered style declaration
476 LabelString "Case #."
479 \theoremstyle{remark}
480 \newtheorem{case}{Case} %%Numbering of Cases not keyed to sections
484 # Conclusion-numbered style declaration
488 LabelString "Conclusion #."
491 \theoremstyle{remark}
492 \newtheorem{conclusion}[thm]{Conclusion}
496 # Conclusion-unnumbered style declaration
499 LatexName conclusion*
500 LabelString "Conclusion #."
503 \theoremstyle{remark}
504 \newtheorem*{conclusion*}{Conclusion}