-# Author: Richard Heck <rgheck@comcast.net>
-# Stolen from amsdefs.inc and amsmaths.inc
+# Original 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>
+# Tinkered with Sep. '07 by Paul Rubin <rubin@msu.edu>
+# Modularized Jan 08 by Richard Heck <rgheck@comcast.net>
+
+# The environments defined are :
+# - Theorem
+# - Corollary
+# - Lemma
+# - Proposition
+# - Conjecture
+# - Definition
+# - Example
+# - Problem
+# - Exercise
+# - Solution
+# - Remark
+# - Claim
+# - Proof
+# - Case (by inclusion)
+
+Format 85
+
+OutlinerName thm "Definitions & Theorems"
Style Theorem
+ Category Reasoning
Margin First_Dynamic
LatexType Environment
LatexName thm
-#DependsOn TheoremStyle
- NextNoIndent 1
+ NextNoIndent 0
+ ResetArgs 1
+ AddToToc thm
+ IsTocCaption 1
+ Argument 1
+ LabelString "Additional Theorem Text"
+ Tooltip "Additional text appended to the theorem header"
+ IsTocCaption 1
+ EndArgument
LabelSep xx
ParIndent MMM
ParSkip 0.4
BottomSep 0.7
ParSep 0.3
Align Block
- AlignPossible Block, Left
- LabelType Counter
+ AlignPossible Left
+ LabelType Static
LabelCounter theorem
LabelString "Theorem \thetheorem."
Font
Shape Up
Series Bold
EndFont
-End
-
-
-Style Theorem*
- CopyStyle Theorem
- LatexName thm*
- LabelType Static
- LabelString "Theorem."
Preamble
- \theoremstyle{plain}
- \newtheorem*{thm*}{Theorem}
+ \theoremstyle{plain}
+ \newtheorem{thm}{\protect\theoremname}
EndPreamble
+ LangPreamble
+ \providecommand{\theoremname}{_(Theorem)}
+ EndLangPreamble
+ BabelPreamble
+ \addto\captions$$lang{\renewcommand{\theoremname}{_(Theorem)}}
+ EndBabelPreamble
+ Requires amsthm
+ DocBookTag para
+ DocBookAttr role='theorem'
End
Style Corollary
CopyStyle Theorem
+ DependsOn Theorem
LatexName cor
LabelString "Corollary \thetheorem."
Preamble
\theoremstyle{plain}
- \newtheorem{cor}[thm]{Corollary}
- EndPreamble
-End
-
-
-Style Corollary*
- CopyStyle Theorem*
- LatexName cor*
- LabelString "Corollary."
- Preamble
- \theoremstyle{plain}
- \newtheorem*{cor*}{Corollary}
+ \newtheorem{cor}[thm]{\protect\corollaryname}
EndPreamble
+ LangPreamble
+ \providecommand{\corollaryname}{_(Corollary)}
+ EndLangPreamble
+ BabelPreamble
+ \addto\captions$$lang{\renewcommand{\corollaryname}{_(Corollary)}}
+ EndBabelPreamble
+ DocBookTag para
+ DocBookAttr role='corollary'
End
Style Lemma
CopyStyle Theorem
+ DependsOn Theorem
LatexName lem
LabelString "Lemma \thetheorem."
Preamble
\theoremstyle{plain}
- \newtheorem{lem}[thm]{Lemma}
- EndPreamble
-End
-
-
-Style Lemma*
- CopyStyle Theorem*
- LatexName lem*
- LabelString "Lemma."
- Preamble
- \theoremstyle{plain}
- \newtheorem*{lem*}{Lemma}
+ \newtheorem{lem}[thm]{\protect\lemmaname}
EndPreamble
+ LangPreamble
+ \providecommand{\lemmaname}{_(Lemma)}
+ EndLangPreamble
+ BabelPreamble
+ \addto\captions$$lang{\renewcommand{\lemmaname}{_(Lemma)}}
+ EndBabelPreamble
+ DocBookTag para
+ DocBookAttr role='lemma'
End
Style Proposition
CopyStyle Theorem
+ DependsOn Theorem
LatexName prop
LabelString "Proposition \thetheorem."
Preamble
\theoremstyle{plain}
- \newtheorem{prop}[thm]{Proposition}
- EndPreamble
-End
-
-
-Style Proposition*
- CopyStyle Theorem*
- LatexName prop*
- LabelString "Proposition."
- Preamble
- \theoremstyle{plain}
- \newtheorem*{prop*}{Proposition}
+ \newtheorem{prop}[thm]{\protect\propositionname}
EndPreamble
+ LangPreamble
+ \providecommand{\propositionname}{_(Proposition)}
+ EndLangPreamble
+ BabelPreamble
+ \addto\captions$$lang{\renewcommand{\propositionname}{_(Proposition)}}
+ EndBabelPreamble
+ DocBookTag para
+ DocBookAttr role='proposition'
End
Style Conjecture
CopyStyle Theorem
+ DependsOn Theorem
LatexName conjecture
LabelString "Conjecture \thetheorem."
Preamble
\theoremstyle{plain}
- \newtheorem{conjecture}[thm]{Conjecture}
- EndPreamble
-End
-
-
-Style Conjecture*
- CopyStyle Theorem*
- LatexName conjecture*
- LabelString "Conjecture."
- Preamble
- \theoremstyle{plain}
- \newtheorem*{conjecture*}{Conjecture}
- EndPreamble
-End
-
-
-Style Criterion
- CopyStyle Theorem
- LatexName criterion
- LabelString "Criterion \thetheorem."
- Preamble
- \theoremstyle{plain}
- \newtheorem{criterion}[thm]{Criterion}
- EndPreamble
-End
-
-
-Style Algorithm
- CopyStyle Theorem
- LatexName algorithm
- LabelString "Algorithm \thetheorem."
- Preamble
- \theoremstyle{plain}
- \newtheorem{algorithm}[thm]{Algorithm}
+ \newtheorem{conjecture}[thm]{\protect\conjecturename}
EndPreamble
+ LangPreamble
+ \providecommand{\conjecturename}{_(Conjecture)}
+ EndLangPreamble
+ BabelPreamble
+ \addto\captions$$lang{\renewcommand{\conjecturename}{_(Conjecture)}}
+ EndBabelPreamble
+ DocBookTag para
+ DocBookAttr role='conjecture'
End
Style Fact
CopyStyle Theorem
+ DependsOn Theorem
LatexName fact
LabelString "Fact \thetheorem."
Preamble
\theoremstyle{plain}
- \newtheorem{fact}[thm]{Fact}
- EndPreamble
-End
-
-
-Style Fact*
- CopyStyle Theorem*
- LatexName fact*
- LabelString "Fact."
- Preamble
- \theoremstyle{plain}
- \newtheorem*{fact*}{Fact}
- EndPreamble
-End
-
-
-Style Axiom
- CopyStyle Theorem
- LatexName ax
- LabelString "Axiom \thetheorem."
- Preamble
- \theoremstyle{plain}
- \newtheorem{ax}[thm]{Axiom}
+ \newtheorem{fact}[thm]{\protect\factname}
EndPreamble
+ LangPreamble
+ \providecommand{\factname}{_(Fact)}
+ EndLangPreamble
+ BabelPreamble
+ \addto\captions$$lang{\renewcommand{\factname}{_(Fact)}}
+ EndBabelPreamble
+ DocBookTag para
+ DocBookAttr role='fact'
End
Style Definition
CopyStyle Theorem
+ DependsOn Theorem
LatexName defn
LabelString "Definition \thetheorem."
Font
EndFont
Preamble
\theoremstyle{definition}
- \newtheorem{defn}[thm]{Definition}
- EndPreamble
-End
-
-
-Style Definition*
- CopyStyle Definition
- LatexName defn*
- LabelType Static
- LabelString "Definition."
- Preamble
- \theoremstyle{definition}
- \newtheorem*{defn*}{Definition}
+ \newtheorem{defn}[thm]{\protect\definitionname}
EndPreamble
+ LangPreamble
+ \providecommand{\definitionname}{_(Definition)}
+ EndLangPreamble
+ BabelPreamble
+ \addto\captions$$lang{\renewcommand{\definitionname}{_(Definition)}}
+ EndBabelPreamble
+ DocBookTag para
+ DocBookAttr role='definition'
End
CopyStyle Definition
LatexName example
LabelString "Example \thetheorem."
- Preamble
- \theoremstyle{definition}
- \newtheorem{example}[thm]{Example}
- EndPreamble
-End
-
-
-Style Example*
- CopyStyle Definition*
- LatexName example*
- LabelString "Example."
Preamble
\theoremstyle{definition}
- \newtheorem*{example*}{Example}
- EndPreamble
-End
-
-
-Style Condition
- CopyStyle Definition
- LatexName condition
- LabelString "Condition \thetheorem."
- Preamble
- \theoremstyle{definition}
- \newtheorem{condition}[thm]{Condition}
- EndPreamble
-End
-
-
-Style Condition*
- CopyStyle Definition*
- LatexName condition*
- LabelString "Condition."
- Preamble
- \theoremstyle{definition}
- \newtheorem*{condition*}{Condition}
+ \newtheorem{example}[thm]{\protect\examplename}
EndPreamble
+ LangPreamble
+ \providecommand{\examplename}{_(Example)}
+ EndLangPreamble
+ BabelPreamble
+ \addto\captions$$lang{\renewcommand{\examplename}{_(Example)}}
+ EndBabelPreamble
+ DocBookWrapperTag informalexample
+ DocBookTag para
+ DocBookAttr ""
End
LabelString "Problem \thetheorem."
Preamble
\theoremstyle{definition}
- \newtheorem{problem}[thm]{Problem}
- EndPreamble
-End
-
-
-Style Problem*
- CopyStyle Definition*
- LatexName problem*
- LabelString "Problem."
- Preamble
- \theoremstyle{definition}
- \newtheorem*{problem*}{Problem}
+ \newtheorem{problem}[thm]{\protect\problemname}
EndPreamble
+ LangPreamble
+ \providecommand{\problemname}{_(Problem)}
+ EndLangPreamble
+ BabelPreamble
+ \addto\captions$$lang{\renewcommand{\problemname}{_(Problem)}}
+ EndBabelPreamble
+ DocBookTag para
+ DocBookAttr role='problem'
End
LabelString "Exercise \thetheorem."
Preamble
\theoremstyle{definition}
- %%Delete [section] for sequential numbering
- \newtheorem{xca}[section]{Exercise}
+ \newtheorem{xca}[thm]{\protect\exercisename}
EndPreamble
+ LangPreamble
+ \providecommand{\exercisename}{_(Exercise)}
+ EndLangPreamble
+ BabelPreamble
+ \addto\captions$$lang{\renewcommand{\exercisename}{_(Exercise)}}
+ EndBabelPreamble
+ DocBookTag para
+ DocBookAttr role='exercise'
End
-Style Exercise*
- CopyStyle Definition*
- LatexName xca
- LabelString "Exercise."
+Style Solution
+ CopyStyle Definition
+ LatexName sol
+ LabelString "Solution \thetheorem."
Preamble
\theoremstyle{definition}
- \newtheorem*{xca*}{Exercise}
+ \newtheorem{sol}[thm]{\protect\solutionname}
EndPreamble
+ LangPreamble
+ \providecommand{\solutionname}{_(Solution)}
+ EndLangPreamble
+ BabelPreamble
+ \addto\captions$$lang{\renewcommand{\solutionname}{_(Solution)}}
+ EndBabelPreamble
+ DocBookTag para
+ DocBookAttr role='solution'
End
Style Remark
CopyStyle Theorem
+ DependsOn Theorem
LatexName rem
LabelString "Remark \thetheorem."
Font
EndFont
Preamble
\theoremstyle{remark}
- \newtheorem{rem}[thm]{Remark}
- EndPreamble
-End
-
-
-Style Remark*
- CopyStyle Remark
- LatexName rem*
- LabelType Static
- LabelString "Remark."
- Preamble
- \theoremstyle{remark}
- \newtheorem*{rem*}{Remark}
+ \newtheorem{rem}[thm]{\protect\remarkname}
EndPreamble
+ LangPreamble
+ \providecommand{\remarkname}{_(Remark)}
+ EndLangPreamble
+ BabelPreamble
+ \addto\captions$$lang{\renewcommand{\remarkname}{_(Remark)}}
+ EndBabelPreamble
+ DocBookTag note
+ DocBookItemTag para
End
LabelString "Claim \thetheorem."
Preamble
\theoremstyle{remark}
- \newtheorem{claim}[thm]{Claim}
- EndPreamble
-End
-
-
-Style Claim*
- CopyStyle Remark*
- LatexName claim*
- LabelString "Claim."
- Preamble
- \theoremstyle{remark}
- \newtheorem*{claim*}{Claim}
+ \newtheorem{claim}[thm]{\protect\claimname}
EndPreamble
+ LangPreamble
+ \providecommand{\claimname}{_(Claim)}
+ EndLangPreamble
+ BabelPreamble
+ \addto\captions$$lang{\renewcommand{\claimname}{_(Claim)}}
+ EndBabelPreamble
+ DocBookTag para
+ DocBookAttr role='claim'
+ DocBookItemTag ""
End
-
-Style Note
- CopyStyle Remark
- LatexName note
- LabelString "Note \thetheorem."
- Preamble
- \theoremstyle{remark}
- \newtheorem{note}[thm]{Note}
- EndPreamble
-End
-
-
-Style Note*
- CopyStyle Remark*
- LatexName note*
- LabelString "Note."
- Preamble
- \theoremstyle{remark}
- \newtheorem*{note*}{Note}
- EndPreamble
-End
-
-
-Style Notation
- CopyStyle Remark
- LatexName notation
- LabelString "Notation \thetheorem."
- Preamble
- \theoremstyle{remark}
- \newtheorem{notation}[thm]{Notation}
- EndPreamble
-End
-
-
-Style Notation*
- CopyStyle Remark*
- LatexName notation*
- LabelString "Notation."
- Preamble
- \theoremstyle{remark}
- \newtheorem*{notation*}[thm]{Notation}
- EndPreamble
-End
-
-
-Style Summary
- CopyStyle Remark
- LatexName summary
- LabelString "Summary \thetheorem."
- Preamble
- \theoremstyle{remark}
- \newtheorem{summary}[thm]{Summary}
- EndPreamble
-End
-
-
-Style Acknowledgement
- CopyStyle Remark
- LatexName acknowledgement
- LabelString "Acknowledgement \thetheorem."
- Preamble
- \theoremstyle{remark}
- \newtheorem{acknowledgement}[thm]{Acknowledgement}
- EndPreamble
-End
-
-
-Style Acknowledgement*
- CopyStyle Remark*
- LatexName acknowledgement*
- LabelString "Acknowledgement."
- Preamble
- \theoremstyle{remark}
- \newtheorem*{acknowledgement*}{Acknowledgement}
- EndPreamble
-End
-
-
-Style Case
- CopyStyle Remark
- LatexName case
- LabelString "Case \thetheorem."
- Preamble
- \theoremstyle{remark}
- \newtheorem{case}{Case} %%Numbering of Cases not keyed to sections
- EndPreamble
-End
-
-
-Style Conclusion
- CopyStyle Remark
- LatexName conclusion
- LabelString "Conclusion \thetheorem."
- Preamble
- \theoremstyle{remark}
- \newtheorem{conclusion}[thm]{Conclusion}
- EndPreamble
-End
-
-
-Style Conclusion*
- CopyStyle Remark*
- LatexName conclusion*
- LabelString "Conclusion."
- Preamble
- \theoremstyle{remark}
- \newtheorem*{conclusion*}{Conclusion}
- EndPreamble
-End
-
-
-Style Proof
- Margin First_Dynamic
- LatexType Environment
- LatexName proof
- NextNoIndent 1
- LabelSep xx
- ParIndent MMM
- ParSkip 0.4
- ItemSep 0.2
- TopSep 0.7
- BottomSep 0.7
- ParSep 0.3
- Align Block
- AlignPossible Block, Left
- LabelType Static
- LabelString "Proof."
- EndLabelType Box
- Font
- Shape Up
- Size Normal
- EndFont
- LabelFont
- Shape Italic
- EndFont
- # We don't want the preamble from Theorem
- Preamble
- EndPreamble
-End
-
-
+Input theorems-case.inc
+Input theorems-refprefix.inc