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
162 LabelString "Corollary \arabic{corollary}."
165 \newtheorem{cor}{Corollary}
172 LabelString "Lemma \arabic{lemma}."
175 \newtheorem{lem}{Lemma}
181 LabelCounter proposition
182 LabelString "Proposition \arabic{proposition}."
185 \newtheorem{prop}{Proposition}
191 LabelCounter conjecture
192 LabelString "Conjecture \arabic{conjecture}."
195 \newtheorem{conjecture}{Conjecture}
201 LabelCounter criterion
202 LabelString "Criterion \arabic{criterion}."
205 \newtheorem{criterion}{Criterion}
211 LabelCounter algorithm
212 LabelString "Algorithm \arabic{algorithm}."
215 \newtheorem{algorithm}{Algorithm}
222 LabelString "Fact \arabic{fact}."
225 \newtheorem{fact}{Fact}
232 LabelString "Axiom \arabic{axiom}."
235 \newtheorem{ax}{Axiom}
241 LabelCounter definition
242 LabelString "Definition \arabic{definition}."
244 \theoremstyle{definition}
245 \newtheorem{defn}{Definition}
252 LabelString "Example \arabic{example}."
254 \theoremstyle{definition}
255 \newtheorem{example}{Example}
261 LabelCounter condition
262 LabelString "Condition \arabic{condition}."
264 \theoremstyle{definition}
265 \newtheorem{condition}{Condition}
272 LabelString "Problem \arabic{problem}."
274 \theoremstyle{definition}
275 \newtheorem{problem}{Problem}
281 LabelCounter exercise
282 LabelString "Exercise \arabic{exercise}."
284 \theoremstyle{definition}
285 \newtheorem{xca}{Exercise}
292 LabelString "Remark \arabic{remark}."
294 \theoremstyle{remark}
295 \newtheorem{rem}{Remark}
302 LabelString "Claim \arabic{claim}."
304 \theoremstyle{remark}
305 \newtheorem{claim}{Claim}
312 LabelString "Note \arabic{note}."
314 \theoremstyle{remark}
315 \newtheorem{note}{Note}
321 LabelCounter notation
322 LabelString "Notation \arabic{notation}."
324 \theoremstyle{remark}
325 \newtheorem{notation}{Notation}
332 LabelString "Summary \arabic{summary}."
334 \theoremstyle{remark}
335 \newtheorem{summary}{Summary}
340 Style Acknowledgement
341 LabelCounter acknowledgement
342 LabelString "Acknowledgement \arabic{acknowledgement}."
344 \theoremstyle{remark}
345 \newtheorem{acknowledgement}{Acknowledgement}
351 LabelCounter conclusion
352 LabelString "Conclusion \arabic{conclusion}."
354 \theoremstyle{remark}
355 \newtheorem{conclusion}{Conclusion}
361 LabelCounter assumption
362 LabelString "Assumption \arabic{assumption}."
365 \newtheorem{assumption}{Assumption}