#Defines some additional theorem environments for use with the
#AMS theorems packages. Includes Criterion, Algorithm, Axiom,
#Condition, Note, Notation, Summary, Acknowledgement, Conclusion,
-#Fact, Assumption, and Case, in both starred and non-starred forms.
+#Fact, Assumption, Case, and Question, in both numbered and non-numbered
+#forms.
#DescriptionEnd
#Requires: theorems-ams
+#Category: theorems
# Original Author : David L. Johnson <dlj0@lehigh.edu>
# Probably broken by Jean-Marc Lasgouttes <Jean-Marc.Lasgouttes@inria.fr>
# Tinkered with Sep. '07 by Paul Rubin <rubin@msu.edu>
# Modularized Jan 08 by Richard Heck <rgheck@comcast.net>
-Format 6
+Format 34
Requires amsmath
-# The environnements defined (regular and starred) are :
+# The environments defined (regular and starred) are :
# - Criterion
# - Algorithm
# - Axiom
# - Conclusion
# - Fact
# - Assumption
+# - Question
Style Criterion
CopyStyle Theorem
- DependsOn Theorem
+ DependsOn Theorem
LatexName criterion
LabelString "Criterion \thetheorem."
Preamble
\theoremstyle{plain}
- \newtheorem{criterion}[thm]{Criterion}
+ \newtheorem{criterion}[thm]{\protect\criterionname}
EndPreamble
+ LangPreamble
+ \providecommand{\criterionname}{_(Criterion)}
+ EndLangPreamble
+ BabelPreamble
+ \addto\captions$$lang{\renewcommand{\criterionname}{_(Criterion)}}
+ EndBabelPreamble
End
Style Criterion*
LabelString "Criterion."
Preamble
\theoremstyle{plain}
- \newtheorem*{criterion*}{Criterion}
+ \newtheorem*{criterion*}{\protect\criterionname}
EndPreamble
+ LangPreamble
+ \providecommand{\criterionname}{_(Criterion)}
+ EndLangPreamble
+ BabelPreamble
+ \addto\captions$$lang{\renewcommand{\criterionname}{_(Criterion)}}
+ EndBabelPreamble
End
Style Algorithm
CopyStyle Theorem
- DependsOn Theorem
+ DependsOn Theorem
LatexName algorithm
LabelString "Algorithm \thetheorem."
Preamble
\theoremstyle{plain}
- \newtheorem{algorithm}[thm]{Algorithm}
+ \newtheorem{algorithm}[thm]{\protect\algorithmname}
EndPreamble
+ LangPreamble
+ \providecommand{\algorithmname}{_(Algorithm)}
+ EndLangPreamble
+ BabelPreamble
+ \addto\captions$$lang{\renewcommand{\algorithmname}{_(Algorithm)}}
+ EndBabelPreamble
End
LabelString "Algorithm."
Preamble
\theoremstyle{plain}
- \newtheorem*{algorithm*}{Algorithm}
+ \newtheorem*{algorithm*}{\protect\algorithmname}
EndPreamble
+ LangPreamble
+ \providecommand{\algorithmname}{_(Algorithm)}
+ EndLangPreamble
+ BabelPreamble
+ \addto\captions$$lang{\renewcommand{\algorithmname}{_(Algorithm)}}
+ EndBabelPreamble
End
Style Axiom
CopyStyle Theorem
- DependsOn Theorem
+ DependsOn Theorem
LatexName ax
LabelString "Axiom \thetheorem."
Preamble
\theoremstyle{plain}
- \newtheorem{ax}[thm]{Axiom}
+ \newtheorem{ax}[thm]{\protect\axiomname}
EndPreamble
+ LangPreamble
+ \providecommand{\axiomname}{_(Axiom)}
+ EndLangPreamble
+ BabelPreamble
+ \addto\captions$$lang{\renewcommand{\axiomname}{_(Axiom)}}
+ EndBabelPreamble
End
LabelString "Axiom."
Preamble
\theoremstyle{plain}
- \newtheorem*{ax*}{Axiom}
+ \newtheorem*{ax*}{\protect\axiomname}
EndPreamble
+ LangPreamble
+ \providecommand{\axiomname}{_(Axiom)}
+ EndLangPreamble
+ BabelPreamble
+ \addto\captions$$lang{\renewcommand{\axiomname}{_(Axiom)}}
+ EndBabelPreamble
End
LabelString "Condition \thetheorem."
Preamble
\theoremstyle{definition}
- \newtheorem{condition}[thm]{Condition}
+ \newtheorem{condition}[thm]{\protect\conditionname}
EndPreamble
+ LangPreamble
+ \providecommand{\conditionname}{_(Condition)}
+ EndLangPreamble
+ BabelPreamble
+ \addto\captions$$lang{\renewcommand{\conditionname}{_(Condition)}}
+ EndBabelPreamble
End
LabelString "Condition."
Preamble
\theoremstyle{definition}
- \newtheorem*{condition*}{Condition}
+ \newtheorem*{condition*}{\protect\conditionname}
EndPreamble
+ LangPreamble
+ \providecommand{\conditionname}{_(Condition)}
+ EndLangPreamble
+ BabelPreamble
+ \addto\captions$$lang{\renewcommand{\conditionname}{_(Condition)}}
+ EndBabelPreamble
End
LabelString "Note \thetheorem."
Preamble
\theoremstyle{remark}
- \newtheorem{note}[thm]{Note}
+ \newtheorem{note}[thm]{\protect\notename}
EndPreamble
+ LangPreamble
+ \providecommand{\notename}{_(Note)}
+ EndLangPreamble
+ BabelPreamble
+ \addto\captions$$lang{\renewcommand{\notename}{_(Note)}}
+ EndBabelPreamble
End
LabelString "Note."
Preamble
\theoremstyle{remark}
- \newtheorem*{note*}{Note}
+ \newtheorem*{note*}{\protect\notename}
EndPreamble
+ LangPreamble
+ \providecommand{\notename}{_(Note)}
+ EndLangPreamble
+ BabelPreamble
+ \addto\captions$$lang{\renewcommand{\notename}{_(Note)}}
+ EndBabelPreamble
End
LabelString "Notation \thetheorem."
Preamble
\theoremstyle{remark}
- \newtheorem{notation}[thm]{Notation}
+ \newtheorem{notation}[thm]{\protect\notationname}
EndPreamble
+ LangPreamble
+ \providecommand{\notationname}{_(Notation)}
+ EndLangPreamble
+ BabelPreamble
+ \addto\captions$$lang{\renewcommand{\notationname}{_(Notation)}}
+ EndBabelPreamble
End
LabelString "Notation."
Preamble
\theoremstyle{remark}
- \newtheorem*{notation*}{Notation}
+ \newtheorem*{notation*}{\protect\notationname}
EndPreamble
+ LangPreamble
+ \providecommand{\notationname}{_(Notation)}
+ EndLangPreamble
+ BabelPreamble
+ \addto\captions$$lang{\renewcommand{\notationname}{_(Notation)}}
+ EndBabelPreamble
End
LabelString "Summary \thetheorem."
Preamble
\theoremstyle{remark}
- \newtheorem{summary}[thm]{Summary}
+ \newtheorem{summary}[thm]{\protect\summaryname}
EndPreamble
+ LangPreamble
+ \providecommand{\summaryname}{_(Summary)}
+ EndLangPreamble
+ BabelPreamble
+ \addto\captions$$lang{\renewcommand{\summaryname}{_(Summary)}}
+ EndBabelPreamble
End
LabelString "Summary."
Preamble
\theoremstyle{remark}
- \newtheorem*{summary*}{Summary}
+ \newtheorem*{summary*}{\protect\summaryname}
EndPreamble
+ LangPreamble
+ \providecommand{\summaryname}{_(Summary)}
+ EndLangPreamble
+ BabelPreamble
+ \addto\captions$$lang{\renewcommand{\summaryname}{_(Summary)}}
+ EndBabelPreamble
End
LabelString "Acknowledgement \thetheorem."
Preamble
\theoremstyle{remark}
- \newtheorem{acknowledgement}[thm]{Acknowledgement}
+ \newtheorem{acknowledgement}[thm]{\protect\acknowledgementname}
EndPreamble
+ LangPreamble
+ \providecommand{\acknowledgementname}{_(Acknowledgement)}
+ EndLangPreamble
+ BabelPreamble
+ \addto\captions$$lang{\renewcommand{\acknowledgementname}{_(Acknowledgement)}}
+ EndBabelPreamble
End
LabelString "Acknowledgement."
Preamble
\theoremstyle{remark}
- \newtheorem*{acknowledgement*}{Acknowledgement}
+ \newtheorem*{acknowledgement*}{\protect\acknowledgementname}
EndPreamble
+ LangPreamble
+ \providecommand{\acknowledgementname}{_(Acknowledgement)}
+ EndLangPreamble
+ BabelPreamble
+ \addto\captions$$lang{\renewcommand{\acknowledgementname}{_(Acknowledgement)}}
+ EndBabelPreamble
End
LabelString "Conclusion \thetheorem."
Preamble
\theoremstyle{remark}
- \newtheorem{conclusion}[thm]{Conclusion}
+ \newtheorem{conclusion}[thm]{\protect\conclusionname}
EndPreamble
+ LangPreamble
+ \providecommand{\conclusionname}{_(Conclusion)}
+ EndLangPreamble
+ BabelPreamble
+ \addto\captions$$lang{\renewcommand{\conclusionname}{_(Conclusion)}}
+ EndBabelPreamble
End
LabelString "Conclusion."
Preamble
\theoremstyle{remark}
- \newtheorem*{conclusion*}{Conclusion}
+ \newtheorem*{conclusion*}{\protect\conclusionname}
EndPreamble
+ LangPreamble
+ \providecommand{\conclusionname}{_(Conclusion)}
+ EndLangPreamble
+ BabelPreamble
+ \addto\captions$$lang{\renewcommand{\conclusionname}{_(Conclusion)}}
+ EndBabelPreamble
End
Style Assumption
CopyStyle Theorem
- DependsOn Theorem
+ DependsOn Theorem
LatexName assumption
LabelString "Assumption \thetheorem."
Preamble
\theoremstyle{plain}
- \newtheorem{assumption}[thm]{Assumption}
+ \newtheorem{assumption}[thm]{\protect\assumptionname}
EndPreamble
+ LangPreamble
+ \providecommand{\assumptionname}{_(Assumption)}
+ EndLangPreamble
+ BabelPreamble
+ \addto\captions$$lang{\renewcommand{\assumptionname}{_(Assumption)}}
+ EndBabelPreamble
End
LabelString "Assumption."
Preamble
\theoremstyle{plain}
- \newtheorem*{assumption*}{Assumption}
+ \newtheorem*{assumption*}{\protect\assumptionname}
EndPreamble
+ LangPreamble
+ \providecommand{\assumptionname}{_(Assumption)}
+ EndLangPreamble
+ BabelPreamble
+ \addto\captions$$lang{\renewcommand{\assumptionname}{_(Assumption)}}
+ EndBabelPreamble
+End
+
+Style Question
+ CopyStyle Theorem
+ DependsOn Theorem
+ LatexName question
+ LabelString "Question \thetheorem."
+ Preamble
+ \theoremstyle{plain}
+ \newtheorem{question}[thm]{\protect\questionname}
+ EndPreamble
+ LangPreamble
+ \providecommand{\questionname}{_(Question)}
+ EndLangPreamble
+ BabelPreamble
+ \addto\captions$$lang{\renewcommand{\questionname}{_(Question)}}
+ EndBabelPreamble
+End
+
+Style Question*
+ CopyStyle Theorem*
+ LatexName question*
+ LabelString "Question."
+ Preamble
+ \theoremstyle{plain}
+ \newtheorem*{question*}{\protect\questionname}
+ EndPreamble
+ LangPreamble
+ \providecommand{\questionname}{_(Question)}
+ EndLangPreamble
+ BabelPreamble
+ \addto\captions$$lang{\renewcommand{\questionname}{_(Question)}}
+ EndBabelPreamble
End