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 # Tinkered with Sep. '07 by Paul Rubin <rubin@msu.edu>
6 # These are only the theorems styles environnements
7 # The environnements defined are :
30 # - Case (regular only -- defined as an enumeration)
34 # Use a simpler preamble.
42 # Do not restart theorem counter after section change
152 LabelString "Theorem \arabic{thm}."
155 \newtheorem{thm}{Theorem}
161 LabelCounter corollary
163 LabelString "Corollary \arabic{corollary}."
166 \newtheorem{cor}{Corollary}
174 LabelString "Lemma \arabic{lemma}."
177 \newtheorem{lem}{Lemma}
183 LabelCounter proposition
185 LabelString "Proposition \arabic{proposition}."
188 \newtheorem{prop}{Proposition}
194 LabelCounter conjecture
196 LabelString "Conjecture \arabic{conjecture}."
199 \newtheorem{conjecture}{Conjecture}
205 LabelCounter criterion
207 LabelString "Criterion \arabic{criterion}."
210 \newtheorem{criterion}{Criterion}
216 LabelCounter algorithm
218 LabelString "Algorithm \arabic{algorithm}."
221 \newtheorem{algorithm}{Algorithm}
229 LabelString "Fact \arabic{fact}."
232 \newtheorem{fact}{Fact}
240 LabelString "Axiom \arabic{axiom}."
243 \newtheorem{ax}{Axiom}
249 LabelCounter definition
251 LabelString "Definition \arabic{definition}."
253 \theoremstyle{definition}
254 \newtheorem{defn}{Definition}
262 LabelString "Example \arabic{example}."
264 \theoremstyle{definition}
265 \newtheorem{example}{Example}
271 LabelCounter condition
273 LabelString "Condition \arabic{condition}."
275 \theoremstyle{definition}
276 \newtheorem{condition}{Condition}
284 LabelString "Problem \arabic{problem}."
286 \theoremstyle{definition}
287 \newtheorem{problem}{Problem}
293 LabelCounter exercise
295 LabelString "Exercise \arabic{exercise}."
297 \theoremstyle{definition}
298 \newtheorem{xca}{Exercise}
306 LabelString "Remark \arabic{remark}."
308 \theoremstyle{remark}
309 \newtheorem{rem}{Remark}
317 LabelString "Claim \arabic{claim}."
319 \theoremstyle{remark}
320 \newtheorem{claim}{Claim}
328 LabelString "Note \arabic{note}."
330 \theoremstyle{remark}
331 \newtheorem{note}{Note}
337 LabelCounter notation
339 LabelString "Notation \arabic{notation}."
341 \theoremstyle{remark}
342 \newtheorem{notation}{Notation}
350 LabelString "Summary \arabic{summary}."
352 \theoremstyle{remark}
353 \newtheorem{summary}{Summary}
358 Style Acknowledgement
359 LabelCounter acknowledgement
361 LabelString "Acknowledgement \arabic{acknowledgement}."
363 \theoremstyle{remark}
364 \newtheorem{acknowledgement}{Acknowledgement}
370 LabelCounter conclusion
372 LabelString "Conclusion \arabic{conclusion}."
374 \theoremstyle{remark}
375 \newtheorem{conclusion}{Conclusion}
381 LabelCounter assumption
383 LabelString "Assumption \arabic{assumption}."
386 \newtheorem{assumption}{Assumption}