#Defines some additional theorem environments for use with the
#AMS theorems packages. Includes Criterion, Algorithm, Axiom,
#Condition, Note, Notation, Summary, Acknowledgement, Conclusion,
-#Fact, Assumption, Case, and Question, in both starred and non-starred
+#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 11
+Format 35
Requires amsmath
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
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
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
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
LabelString "Question \thetheorem."
Preamble
\theoremstyle{plain}
- \newtheorem{question}[thm]{Question}
+ \newtheorem{question}[thm]{\protect\questionname}
EndPreamble
+ LangPreamble
+ \providecommand{\questionname}{_(Question)}
+ EndLangPreamble
+ BabelPreamble
+ \addto\captions$$lang{\renewcommand{\questionname}{_(Question)}}
+ EndBabelPreamble
End
Style Question*
LabelString "Question."
Preamble
\theoremstyle{plain}
- \newtheorem*{question*}{Question}
+ \newtheorem*{question*}{\protect\questionname}
EndPreamble
+ LangPreamble
+ \providecommand{\questionname}{_(Question)}
+ EndLangPreamble
+ BabelPreamble
+ \addto\captions$$lang{\renewcommand{\questionname}{_(Question)}}
+ EndBabelPreamble
End