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
8 # Tinkered with Sep. '07 by Paul Rubin <rubin@msu.edu>
10 # The environnements defined (regular and starred) are :
33 # - Case (regular only -- defined as an enumeration)
58 AlignPossible Block, Left
61 LabelString "Theorem \thetheorem."
72 \newtheorem{thm}{Theorem}[section]
81 LabelString "Theorem."
84 \newtheorem*{thm*}{Theorem}
93 LabelString "Corollary \thetheorem."
96 \newtheorem{cor}[thm]{Corollary}
104 LabelString "Corollary."
107 \newtheorem*{cor*}{Corollary}
116 LabelString "Lemma \thetheorem."
119 \newtheorem{lem}[thm]{Lemma}
130 \newtheorem*{lem*}{Lemma}
139 LabelString "Proposition \thetheorem."
142 \newtheorem{prop}[thm]{Proposition}
150 LabelString "Proposition."
153 \newtheorem*{prop*}{Proposition}
162 LabelString "Conjecture \thetheorem."
165 \newtheorem{conjecture}[thm]{Conjecture}
172 LatexName conjecture*
173 LabelString "Conjecture."
176 \newtheorem*{conjecture*}{Conjecture}
185 LabelString "Criterion \thetheorem."
188 \newtheorem{criterion}[thm]{Criterion}
195 LabelString "Criterion."
198 \newtheorem*{criterion*}{Criterion}
207 LabelString "Algorithm \thetheorem."
210 \newtheorem{algorithm}[thm]{Algorithm}
218 LabelString "Algorithm."
221 \newtheorem*{algorithm*}{Algorithm}
230 LabelString "Fact \thetheorem."
233 \newtheorem{fact}[thm]{Fact}
244 \newtheorem*{fact*}{Fact}
253 LabelString "Axiom \thetheorem."
256 \newtheorem{ax}[thm]{Axiom}
267 \newtheorem*{ax*}{Axiom}
276 LabelString "Definition \thetheorem."
285 \theoremstyle{definition}
286 \newtheorem{defn}[thm]{Definition}
295 LabelString "Definition."
297 \theoremstyle{definition}
298 \newtheorem*{defn*}{Definition}
306 LabelString "Example \thetheorem."
308 \theoremstyle{definition}
309 \newtheorem{example}[thm]{Example}
315 CopyStyle Definition*
317 LabelString "Example."
319 \theoremstyle{definition}
320 \newtheorem*{example*}{Example}
328 LabelString "Condition \thetheorem."
330 \theoremstyle{definition}
331 \newtheorem{condition}[thm]{Condition}
337 CopyStyle Definition*
339 LabelString "Condition."
341 \theoremstyle{definition}
342 \newtheorem*{condition*}{Condition}
350 LabelString "Problem \thetheorem."
352 \theoremstyle{definition}
353 \newtheorem{problem}[thm]{Problem}
359 CopyStyle Definition*
361 LabelString "Problem."
363 \theoremstyle{definition}
364 \newtheorem*{problem*}{Problem}
372 LabelString "Exercise \thetheorem."
374 \theoremstyle{definition}
375 \newtheorem{xca}[thm]{Exercise}
381 CopyStyle Definition*
383 LabelString "Exercise."
385 \theoremstyle{definition}
386 \newtheorem*{xca*}{Exercise}
395 LabelString "Remark \thetheorem."
405 \theoremstyle{remark}
406 \newtheorem{rem}[thm]{Remark}
415 LabelString "Remark."
417 \theoremstyle{remark}
418 \newtheorem*{rem*}{Remark}
426 LabelString "Claim \thetheorem."
428 \theoremstyle{remark}
429 \newtheorem{claim}[thm]{Claim}
439 \theoremstyle{remark}
440 \newtheorem*{claim*}{Claim}
448 LabelString "Note \thetheorem."
450 \theoremstyle{remark}
451 \newtheorem{note}[thm]{Note}
461 \theoremstyle{remark}
462 \newtheorem*{note*}{Note}
470 LabelString "Notation \thetheorem."
472 \theoremstyle{remark}
473 \newtheorem{notation}[thm]{Notation}
481 LabelString "Notation."
483 \theoremstyle{remark}
484 \newtheorem*{notation*}{Notation}
492 LabelString "Summary \thetheorem."
494 \theoremstyle{remark}
495 \newtheorem{summary}[thm]{Summary}
503 LabelString "Summary."
505 \theoremstyle{remark}
506 \newtheorem*{summary*}{Summary}
511 Style Acknowledgement
513 LatexName acknowledgement
514 LabelString "Acknowledgement \thetheorem."
516 \theoremstyle{remark}
517 \newtheorem{acknowledgement}[thm]{Acknowledgement}
522 Style Acknowledgement*
524 LatexName acknowledgement*
525 LabelString "Acknowledgement."
527 \theoremstyle{remark}
528 \newtheorem*{acknowledgement*}{Acknowledgement}
536 LabelString "Conclusion \thetheorem."
538 \theoremstyle{remark}
539 \newtheorem{conclusion}[thm]{Conclusion}
546 LatexName conclusion*
547 LabelString "Conclusion."
549 \theoremstyle{remark}
550 \newtheorem*{conclusion*}{Conclusion}
559 LabelString "Assumption \thetheorem."
562 \newtheorem{assumption}[thm]{Assumption}
569 LatexName assumption*
570 LabelString "Assumption."
573 \newtheorem*{assumption*}{Assumption}
578 # Define Case as an enumeration environment
584 LabelString "Case #:"
587 \newenvironment{caseenv}
588 {\begin{list}{\bfseries\upshape Case \arabic{casectr}:}{}\setcounter{casectr}{0}\usecounter{casectr}}