1999-09-27 18:44:28 +00:00
|
|
|
# Author : David L. Johnson <dlj0@lehigh.edu>
|
|
|
|
# Probably broken by Jean-Marc Lasgouttes <Jean-Marc.Lasgouttes@inria.fr>
|
|
|
|
# modified and modularized by Emmanuel GUREGHIAN <gureghia@boston.bertin.fr>
|
|
|
|
|
|
|
|
|
2003-09-15 15:49:13 +00:00
|
|
|
# These are only the plain (unnumbered) theorem styles environments
|
|
|
|
# The environments defined are:
|
1999-09-27 18:44:28 +00:00
|
|
|
# - Theorem
|
|
|
|
# - Corollary
|
|
|
|
# - Lemma
|
|
|
|
# - Proposition
|
|
|
|
# - Conjecture
|
|
|
|
# - Criterion
|
|
|
|
# - Algorithm
|
2003-10-13 09:50:10 +00:00
|
|
|
# - Fact
|
1999-09-27 18:44:28 +00:00
|
|
|
# - Axiom
|
|
|
|
# - Definition
|
|
|
|
# - Example
|
|
|
|
# - Condition
|
|
|
|
# - Problem
|
|
|
|
# - Exercise
|
|
|
|
# - Remark
|
|
|
|
# - Claim
|
|
|
|
# - Note
|
|
|
|
# - Notation
|
|
|
|
# - Summary
|
|
|
|
# - Acknowledgement
|
|
|
|
# - Case
|
|
|
|
# - Conclusion
|
|
|
|
|
2003-09-15 15:49:13 +00:00
|
|
|
|
1999-09-27 18:44:28 +00:00
|
|
|
Style Theorem
|
2003-05-02 08:55:48 +00:00
|
|
|
LatexName thm*
|
|
|
|
LabelString "Theorem."
|
|
|
|
Preamble
|
2003-10-13 09:50:10 +00:00
|
|
|
\theoremstyle{plain}
|
2003-05-02 08:55:48 +00:00
|
|
|
\newtheorem*{thm*}{Theorem}
|
|
|
|
EndPreamble
|
2003-10-13 09:50:10 +00:00
|
|
|
End
|
1999-09-27 18:44:28 +00:00
|
|
|
|
2003-09-15 15:49:13 +00:00
|
|
|
|
1999-09-27 18:44:28 +00:00
|
|
|
Style Corollary
|
2003-05-02 08:55:48 +00:00
|
|
|
LatexName cor*
|
|
|
|
LabelString "Corollary."
|
|
|
|
Preamble
|
2003-10-13 09:50:10 +00:00
|
|
|
\theoremstyle{plain}
|
2003-05-02 08:55:48 +00:00
|
|
|
\newtheorem*{cor*}{Corollary}
|
|
|
|
EndPreamble
|
1999-09-27 18:44:28 +00:00
|
|
|
End
|
|
|
|
|
2003-09-15 15:49:13 +00:00
|
|
|
|
1999-09-27 18:44:28 +00:00
|
|
|
Style Lemma
|
2003-05-02 08:55:48 +00:00
|
|
|
LatexName lem*
|
|
|
|
LabelString "Lemma."
|
|
|
|
Preamble
|
2003-10-13 09:50:10 +00:00
|
|
|
\theoremstyle{plain}
|
2003-05-02 08:55:48 +00:00
|
|
|
\newtheorem*{lem*}{Lemma}
|
|
|
|
EndPreamble
|
1999-09-27 18:44:28 +00:00
|
|
|
End
|
|
|
|
|
2003-09-15 15:49:13 +00:00
|
|
|
|
1999-09-27 18:44:28 +00:00
|
|
|
Style Proposition
|
2003-05-02 08:55:48 +00:00
|
|
|
LatexName prop*
|
|
|
|
LabelString "Proposition."
|
|
|
|
Preamble
|
2003-10-13 09:50:10 +00:00
|
|
|
\theoremstyle{plain}
|
2003-05-02 08:55:48 +00:00
|
|
|
\newtheorem*{prop*}{Proposition}
|
|
|
|
EndPreamble
|
2003-10-13 09:50:10 +00:00
|
|
|
End
|
1999-09-27 18:44:28 +00:00
|
|
|
|
2003-09-15 15:49:13 +00:00
|
|
|
|
1999-09-27 18:44:28 +00:00
|
|
|
Style Conjecture
|
2003-05-02 08:55:48 +00:00
|
|
|
LatexName conjecture*
|
|
|
|
LabelString "Conjecture."
|
|
|
|
Preamble
|
2003-10-13 09:50:10 +00:00
|
|
|
\theoremstyle{plain}
|
2003-05-02 08:55:48 +00:00
|
|
|
\newtheorem*{conjecture*}{Conjecture}
|
|
|
|
EndPreamble
|
2003-10-13 09:50:10 +00:00
|
|
|
End
|
1999-09-27 18:44:28 +00:00
|
|
|
|
2003-09-15 15:49:13 +00:00
|
|
|
|
1999-09-27 18:44:28 +00:00
|
|
|
Style Criterion
|
2003-05-02 08:55:48 +00:00
|
|
|
LatexName criterion*
|
|
|
|
LabelString "Criterion."
|
|
|
|
Preamble
|
2003-10-13 09:50:10 +00:00
|
|
|
\theoremstyle{plain}
|
2003-05-02 08:55:48 +00:00
|
|
|
\newtheorem*{criterion*}{Criterion}
|
|
|
|
EndPreamble
|
2003-10-13 09:50:10 +00:00
|
|
|
End
|
1999-09-27 18:44:28 +00:00
|
|
|
|
2003-09-15 15:49:13 +00:00
|
|
|
|
1999-09-27 18:44:28 +00:00
|
|
|
Style Algorithm
|
2003-05-02 08:55:48 +00:00
|
|
|
LatexName algorithm*
|
|
|
|
LabelString "Algorithm #."
|
|
|
|
Preamble
|
2003-10-13 09:50:10 +00:00
|
|
|
\theoremstyle{plain}
|
|
|
|
\newtheorem*{algorithm*}{Algorithm}
|
2003-05-02 08:55:48 +00:00
|
|
|
EndPreamble
|
2003-10-13 09:50:10 +00:00
|
|
|
End
|
1999-09-27 18:44:28 +00:00
|
|
|
|
2003-09-15 15:49:13 +00:00
|
|
|
|
1999-09-27 18:44:28 +00:00
|
|
|
Style Fact
|
2003-05-02 08:55:48 +00:00
|
|
|
LatexName fact*
|
|
|
|
LabelString "Fact."
|
|
|
|
Preamble
|
2003-10-13 09:50:10 +00:00
|
|
|
\theoremstyle{plain}
|
|
|
|
\newtheorem*{fact*}{Fact}
|
2003-05-02 08:55:48 +00:00
|
|
|
EndPreamble
|
2003-10-13 09:50:10 +00:00
|
|
|
End
|
1999-09-27 18:44:28 +00:00
|
|
|
|
2003-09-15 15:49:13 +00:00
|
|
|
|
1999-09-27 18:44:28 +00:00
|
|
|
Style Axiom
|
2003-05-02 08:55:48 +00:00
|
|
|
LatexName ax*
|
|
|
|
LabelString "Axiom."
|
|
|
|
Preamble
|
2003-10-13 09:50:10 +00:00
|
|
|
\theoremstyle{plain}
|
2003-05-02 08:55:48 +00:00
|
|
|
\newtheorem*{ax*}{Axiom}
|
|
|
|
EndPreamble
|
1999-09-27 18:44:28 +00:00
|
|
|
End
|
|
|
|
|
2003-09-15 15:49:13 +00:00
|
|
|
|
1999-09-27 18:44:28 +00:00
|
|
|
Style Definition
|
2003-05-02 08:55:48 +00:00
|
|
|
LatexName defn*
|
|
|
|
LabelString "Definition."
|
|
|
|
Preamble
|
|
|
|
\theoremstyle{definition}
|
|
|
|
\newtheorem*{defn*}{Definition}
|
|
|
|
EndPreamble
|
2003-10-13 09:50:10 +00:00
|
|
|
End
|
1999-09-27 18:44:28 +00:00
|
|
|
|
2003-09-15 15:49:13 +00:00
|
|
|
|
1999-09-27 18:44:28 +00:00
|
|
|
Style Example
|
2003-05-02 08:55:48 +00:00
|
|
|
LatexName example*
|
|
|
|
LabelString "Example."
|
|
|
|
Preamble
|
|
|
|
\theoremstyle{definition}
|
|
|
|
\newtheorem*{example*}{Example}
|
|
|
|
EndPreamble
|
2003-10-13 09:50:10 +00:00
|
|
|
End
|
1999-09-27 18:44:28 +00:00
|
|
|
|
2003-09-15 15:49:13 +00:00
|
|
|
|
1999-09-27 18:44:28 +00:00
|
|
|
Style Condition
|
2003-05-02 08:55:48 +00:00
|
|
|
LatexName condition*
|
|
|
|
LabelString "Condition."
|
|
|
|
Preamble
|
|
|
|
\theoremstyle{definition}
|
|
|
|
\newtheorem*{condition*}{Condition}
|
|
|
|
EndPreamble
|
2003-10-13 09:50:10 +00:00
|
|
|
End
|
1999-09-27 18:44:28 +00:00
|
|
|
|
2003-09-15 15:49:13 +00:00
|
|
|
|
1999-09-27 18:44:28 +00:00
|
|
|
Style Problem
|
2003-05-02 08:55:48 +00:00
|
|
|
LatexName problem*
|
|
|
|
LabelString "Problem."
|
|
|
|
Preamble
|
|
|
|
\theoremstyle{definition}
|
|
|
|
\newtheorem*{problem*}{Problem}
|
|
|
|
EndPreamble
|
2003-10-13 09:50:10 +00:00
|
|
|
End
|
1999-09-27 18:44:28 +00:00
|
|
|
|
2003-09-15 15:49:13 +00:00
|
|
|
|
1999-09-27 18:44:28 +00:00
|
|
|
Style Exercise
|
2003-05-02 08:55:48 +00:00
|
|
|
LatexName xca*
|
|
|
|
LabelString "Exercise."
|
|
|
|
Preamble
|
|
|
|
\theoremstyle{definition}
|
|
|
|
\newtheorem*{xca*}{Exercise}
|
|
|
|
EndPreamble
|
2003-10-13 09:50:10 +00:00
|
|
|
End
|
1999-09-27 18:44:28 +00:00
|
|
|
|
2003-09-15 15:49:13 +00:00
|
|
|
|
1999-09-27 18:44:28 +00:00
|
|
|
Style Remark
|
2003-05-02 08:55:48 +00:00
|
|
|
LatexName rem*
|
|
|
|
LabelString "Remark."
|
|
|
|
Preamble
|
|
|
|
\theoremstyle{remark}
|
|
|
|
\newtheorem*{rem*}{Remark}
|
|
|
|
EndPreamble
|
2003-10-13 09:50:10 +00:00
|
|
|
End
|
1999-09-27 18:44:28 +00:00
|
|
|
|
2003-09-15 15:49:13 +00:00
|
|
|
|
1999-09-27 18:44:28 +00:00
|
|
|
Style Claim
|
2003-05-02 08:55:48 +00:00
|
|
|
LatexName claim*
|
|
|
|
LabelString "Claim."
|
|
|
|
Preamble
|
2003-10-13 09:50:10 +00:00
|
|
|
\theoremstyle{remark}
|
|
|
|
\newtheorem*{claim*}{Claim}
|
2003-05-02 08:55:48 +00:00
|
|
|
EndPreamble
|
2003-10-13 09:50:10 +00:00
|
|
|
End
|
1999-09-27 18:44:28 +00:00
|
|
|
|
2003-09-15 15:49:13 +00:00
|
|
|
|
1999-09-27 18:44:28 +00:00
|
|
|
Style Note
|
2003-05-02 08:55:48 +00:00
|
|
|
LatexName note*
|
|
|
|
LabelString "Note."
|
|
|
|
Preamble
|
2003-10-13 09:50:10 +00:00
|
|
|
\theoremstyle{remark}
|
|
|
|
\newtheorem*{note*}{Note}
|
2003-05-02 08:55:48 +00:00
|
|
|
EndPreamble
|
2003-10-13 09:50:10 +00:00
|
|
|
End
|
1999-09-27 18:44:28 +00:00
|
|
|
|
2003-09-15 15:49:13 +00:00
|
|
|
|
1999-09-27 18:44:28 +00:00
|
|
|
Style Notation
|
2003-05-02 08:55:48 +00:00
|
|
|
LatexName notation*
|
|
|
|
LabelString "Notation."
|
|
|
|
Preamble
|
|
|
|
\theoremstyle{remark}
|
|
|
|
\newtheorem*{notation*}{Notation}
|
|
|
|
EndPreamble
|
2003-10-13 09:50:10 +00:00
|
|
|
End
|
|
|
|
|
1999-09-27 18:44:28 +00:00
|
|
|
|
|
|
|
Style Summary
|
2003-05-02 08:55:48 +00:00
|
|
|
LatexName summary*
|
|
|
|
LabelString "Summary."
|
|
|
|
Preamble
|
|
|
|
\theoremstyle{remark}
|
|
|
|
\newtheorem*{summary*}{Summary}
|
|
|
|
EndPreamble
|
2003-10-13 09:50:10 +00:00
|
|
|
End
|
|
|
|
|
1999-09-27 18:44:28 +00:00
|
|
|
|
|
|
|
Style Acknowledgement
|
2003-05-02 08:55:48 +00:00
|
|
|
LatexName acknowledgement*
|
|
|
|
LabelString "Acknowledgement."
|
|
|
|
Preamble
|
|
|
|
\theoremstyle{remark}
|
|
|
|
\newtheorem*{acknowledgement*}{Acknowledgement}
|
|
|
|
EndPreamble
|
2003-10-13 09:50:10 +00:00
|
|
|
End
|
|
|
|
|
1999-09-27 18:44:28 +00:00
|
|
|
|
|
|
|
Style Case
|
2003-05-02 08:55:48 +00:00
|
|
|
LatexName case*
|
|
|
|
LabelString "Case."
|
|
|
|
Preamble
|
|
|
|
\theoremstyle{remark}
|
|
|
|
\newtheorem*{case*}{Case}
|
|
|
|
EndPreamble
|
2003-10-13 09:50:10 +00:00
|
|
|
End
|
|
|
|
|
1999-09-27 18:44:28 +00:00
|
|
|
|
|
|
|
Style Conclusion
|
2003-05-02 08:55:48 +00:00
|
|
|
LatexName conclusion*
|
|
|
|
LabelString "Conclusion."
|
|
|
|
Preamble
|
|
|
|
\theoremstyle{remark}
|
|
|
|
\newtheorem*{conclusion*}{Conclusion}
|
|
|
|
EndPreamble
|
2003-10-13 09:50:10 +00:00
|
|
|
End
|