stdstruct.inc
stdtitle.inc
svjour.inc
+ theorems.inc
+ theorems-ams.inc
''')
lib_layouts_module_files = Split('''
- lib/layouts/url.module
lib/layouts/endnotes.module
lib/layouts/foottoend.module
- lib/layouts/theorems-ams-withinsec.module
lib/layouts/theorems-ams.module
+ lib/layouts/theorems-ams-withinsec.module
+ lib/layouts/theorems-std.module
lib/layouts/theorems-withinsec.module
lib/layouts/theorems-withinchap.module
- lib/layouts/theorems-std.module
+ lib/layouts/url.module
''')
lib_scripts_files = Split('''
layouts/svglobal.layout \
layouts/endnotes.module \
layouts/foottoend.module \
+ layouts/theorems.inc \
+ layouts/theorems-ams.inc \
layouts/theorems-ams.module \
layouts/theorems-ams-withinsec.module \
layouts/theorems-std.module \
# Author: Richard Heck <rgheck@comcast.net>
# Adapted from amsdefs.inc and amsmaths.inc
-# the environments defined are:
-# - Proof
-# - Theorem
-# - Theorem*
-# - Corollary
-# - Corollary*
-# - Lemma
-# - Lemma*
-# - Proposition
-# - Proposition*
-# - Conjecture
-# - Conjecture*
-# - Criterion
-# - Algorithm
-# - Axiom
-# - Definition
-# - Definition*
-# - Example
-# - Example*
-# - Condition
-# - Condition*
-# - Problem
-# - Problem*
-# - Exercise
-# - Remark
-# - Remark*
-# - Note
-# - Note*
-# - Notation
-# - Notation*
-# - Claim
-# - Claim*
-# - Summary
-# - Acknowledgement
-# - Acknowledgement*
-# - Case
-# - Conclusion
-# - Conclusion*
-# - Fact
-# - Fact*
-
Format 5
Preamble
\usepackage{amsmath}
End
-Style Theorem
- Margin First_Dynamic
- LatexType Environment
- LatexName thm
-#DependsOn TheoremStyle
- 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 Counter
- LabelCounter theorem
- LabelString "Theorem \thetheorem."
- Font
- Shape Italic
- Size Normal
- EndFont
- LabelFont
- Shape Up
- Series Bold
- EndFont
-End
-
-
-Style Theorem*
- CopyStyle Theorem
- LatexName thm*
- LabelType Static
- LabelString "Theorem."
- Preamble
- \theoremstyle{plain}
- \newtheorem*{thm*}{Theorem}
- EndPreamble
-End
-
-
-Style Corollary
- CopyStyle 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}
- EndPreamble
-End
-
-
-Style Lemma
- CopyStyle 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}
- EndPreamble
-End
-
-
-Style Proposition
- CopyStyle 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}
- EndPreamble
-End
-
-
-Style Conjecture
- CopyStyle 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}
- EndPreamble
-End
-
-
-Style Fact
- CopyStyle 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}
- EndPreamble
-End
-
-
-Style Definition
- CopyStyle Theorem
- LatexName defn
- LabelString "Definition \thetheorem."
- Font
- Shape Up
- EndFont
- LabelFont
- Shape Up
- Series Bold
- 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}
- EndPreamble
-End
-
-
-Style Example
- 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}
- EndPreamble
-End
-
-
-Style Problem
- CopyStyle Definition
- LatexName problem
- 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}
- EndPreamble
-End
-
-
-Style Exercise
- CopyStyle Definition
- LatexName xca
- LabelString "Exercise \thetheorem."
- Preamble
- \theoremstyle{definition}
- %%Delete [section] for sequential numbering
- \newtheorem{xca}[section]{Exercise}
- EndPreamble
-End
-
-
-Style Exercise*
- CopyStyle Definition*
- LatexName xca
- LabelString "Exercise."
- Preamble
- \theoremstyle{definition}
- \newtheorem*{xca*}{Exercise}
- EndPreamble
-End
-
-
-Style Remark
- CopyStyle Theorem
- LatexName rem
- LabelString "Remark \thetheorem."
- Font
- Shape Up
- Size Normal
- EndFont
- LabelFont
- Series Medium
- Shape Italic
- 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}
- EndPreamble
-End
-
-
-Style Claim
- CopyStyle Remark
- LatexName claim
- 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}
- EndPreamble
-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-ams.inc
--- /dev/null
+# Author: Richard Heck <rgheck@comcast.net>
+# Stolen from amsdefs.inc and amsmaths.inc
+
+Style Theorem
+ Margin First_Dynamic
+ LatexType Environment
+ LatexName thm
+#DependsOn TheoremStyle
+ 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 Counter
+ LabelCounter theorem
+ LabelString "Theorem \thetheorem."
+ Font
+ Shape Italic
+ Size Normal
+ EndFont
+ LabelFont
+ Shape Up
+ Series Bold
+ EndFont
+End
+
+
+Style Theorem*
+ CopyStyle Theorem
+ LatexName thm*
+ LabelType Static
+ LabelString "Theorem."
+ Preamble
+ \theoremstyle{plain}
+ \newtheorem*{thm*}{Theorem}
+ EndPreamble
+End
+
+
+Style Corollary
+ CopyStyle 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}
+ EndPreamble
+End
+
+
+Style Lemma
+ CopyStyle 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}
+ EndPreamble
+End
+
+
+Style Proposition
+ CopyStyle 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}
+ EndPreamble
+End
+
+
+Style Conjecture
+ CopyStyle 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}
+ EndPreamble
+End
+
+
+Style Fact
+ CopyStyle 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}
+ EndPreamble
+End
+
+
+Style Definition
+ CopyStyle Theorem
+ LatexName defn
+ LabelString "Definition \thetheorem."
+ Font
+ Shape Up
+ EndFont
+ LabelFont
+ Shape Up
+ Series Bold
+ 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}
+ EndPreamble
+End
+
+
+Style Example
+ 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}
+ EndPreamble
+End
+
+
+Style Problem
+ CopyStyle Definition
+ LatexName problem
+ 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}
+ EndPreamble
+End
+
+
+Style Exercise
+ CopyStyle Definition
+ LatexName xca
+ LabelString "Exercise \thetheorem."
+ Preamble
+ \theoremstyle{definition}
+ %%Delete [section] for sequential numbering
+ \newtheorem{xca}[section]{Exercise}
+ EndPreamble
+End
+
+
+Style Exercise*
+ CopyStyle Definition*
+ LatexName xca
+ LabelString "Exercise."
+ Preamble
+ \theoremstyle{definition}
+ \newtheorem*{xca*}{Exercise}
+ EndPreamble
+End
+
+
+Style Remark
+ CopyStyle Theorem
+ LatexName rem
+ LabelString "Remark \thetheorem."
+ Font
+ Shape Up
+ Size Normal
+ EndFont
+ LabelFont
+ Series Medium
+ Shape Italic
+ 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}
+ EndPreamble
+End
+
+
+Style Claim
+ CopyStyle Remark
+ LatexName claim
+ 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}
+ EndPreamble
+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
+
+
# Author: Richard Heck <rgheck@comcast.net>
# Adapted from amsdefs.inc and amsmaths.inc
-# the environments defined are:
-# - Proof
-# - Theorem
-# - Theorem*
-# - Corollary
-# - Corollary*
-# - Lemma
-# - Lemma*
-# - Proposition
-# - Proposition*
-# - Conjecture
-# - Conjecture*
-# - Criterion
-# - Algorithm
-# - Axiom
-# - Definition
-# - Definition*
-# - Example
-# - Example*
-# - Condition
-# - Condition*
-# - Problem
-# - Problem*
-# - Exercise
-# - Remark
-# - Remark*
-# - Note
-# - Note*
-# - Notation
-# - Notation*
-# - Claim
-# - Claim*
-# - Summary
-# - Acknowledgement
-# - Acknowledgement*
-# - Case
-# - Conclusion
-# - Conclusion*
-# - Fact
-# - Fact*
-
Format 5
Preamble
\usepackage{amsmath}
End
-Style Theorem
- Margin First_Dynamic
- LatexType Environment
- LatexName thm
-#DependsOn TheoremStyle
- 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 Counter
- LabelCounter theorem
- LabelString "Theorem \thetheorem."
- Font
- Shape Italic
- Size Normal
- EndFont
- LabelFont
- Shape Up
- Series Bold
- EndFont
-End
-
-
-Style Theorem*
- CopyStyle Theorem
- LatexName thm*
- LabelType Static
- LabelString "Theorem."
- Preamble
- \theoremstyle{plain}
- \newtheorem*{thm*}{Theorem}
- EndPreamble
-End
-
-
-Style Corollary
- CopyStyle 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}
- EndPreamble
-End
-
-
-Style Lemma
- CopyStyle 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}
- EndPreamble
-End
-
-
-Style Proposition
- CopyStyle 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}
- EndPreamble
-End
-
-
-Style Conjecture
- CopyStyle 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}
- EndPreamble
-End
-
-
-Style Fact
- CopyStyle 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}
- EndPreamble
-End
-
-
-Style Definition
- CopyStyle Theorem
- LatexName defn
- LabelString "Definition \thetheorem."
- Font
- Shape Up
- EndFont
- LabelFont
- Shape Up
- Series Bold
- 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}
- EndPreamble
-End
-
-
-Style Example
- 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}
- EndPreamble
-End
-
-
-Style Problem
- CopyStyle Definition
- LatexName problem
- 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}
- EndPreamble
-End
-
-
-Style Exercise
- CopyStyle Definition
- LatexName xca
- LabelString "Exercise \thetheorem."
- Preamble
- \theoremstyle{definition}
- %%Delete [section] for sequential numbering
- \newtheorem{xca}[section]{Exercise}
- EndPreamble
-End
-
-
-Style Exercise*
- CopyStyle Definition*
- LatexName xca
- LabelString "Exercise."
- Preamble
- \theoremstyle{definition}
- \newtheorem*{xca*}{Exercise}
- EndPreamble
-End
-
-
-Style Remark
- CopyStyle Theorem
- LatexName rem
- LabelString "Remark \thetheorem."
- Font
- Shape Up
- Size Normal
- EndFont
- LabelFont
- Series Medium
- Shape Italic
- 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}
- EndPreamble
-End
-
-
-Style Claim
- CopyStyle Remark
- LatexName claim
- 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}
- EndPreamble
-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-ams.inc
# Author: Richard Heck <rgheck@comcast.net>
# Adapted from amsmaths.inc
-# The environnements defined are :
-# - Theorem
-# - Corollary
-# - Lemma
-# - Proposition
-# - Conjecture
-# - Definition
-# - Example
-# - Exercise
-# - Remark
-# - Note
-# - Claim
-# - Case
-# - Conclusion
-# - Fact
-
Format 5
Counter
Name theorem
End
-
-Style Theorem
- Margin First_Dynamic
- LatexType Environment
- LatexName thm
- 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 Counter
- LabelCounter theorem
- LabelString "Theorem \arabic{theorem}."
- Font
- Shape Italic
- Size Normal
- EndFont
- LabelFont
- Shape Up
- Series Bold
- EndFont
- Preamble
- \newtheorem{thm}{Theorem}
- EndPreamble
-End
-
-Style Corollary
- CopyStyle Theorem
- LatexName cor
- LabelString "Corollary \thetheorem."
- Preamble
- \newtheorem{cor}[thm]{Corollary}
- EndPreamble
-End
-
-Style Lemma
- CopyStyle Theorem
- LatexName lem
- LabelString "Lemma \thetheorem."
- Preamble
- \newtheorem{lem}[thm]{Lemma}
- EndPreamble
-End
-
-Style Proposition
- CopyStyle Theorem
- LatexName prop
- LabelString "Proposition \thetheorem."
- Preamble
- \newtheorem{prop}[thm]{Proposition}
- EndPreamble
-End
-
-Style Conjecture
- CopyStyle Theorem
- LatexName conjecture
- LabelString "Conjecture \thetheorem."
- Preamble
- \newtheorem{conjecture}[thm]{Conjecture}
- EndPreamble
-End
-
-Style Fact
- CopyStyle Theorem
- LatexName fact
- LabelString "Fact \thetheorem."
- Preamble
- \newtheorem{fact}[thm]{Fact}
- EndPreamble
-End
-
-Style Definition
- CopyStyle Theorem
- LatexName defn
- LabelString "Definition \thetheorem."
- Font
- Shape Up
- EndFont
- LabelFont
- Shape Up
- Series Bold
- EndFont
- Preamble
- \newtheorem{defn}[thm]{Definition}
- EndPreamble
-End
-
-
-Style Example
- CopyStyle Definition
- LatexName example
- LabelString "Example \thetheorem."
- Preamble
- \newtheorem{example}[thm]{Example}
- EndPreamble
-End
-
-
-Style Exercise
- CopyStyle Definition
- LatexName xca
- LabelString "Exercise \thetheorem."
- Preamble
- \newtheorem{xca}{Exercise}
- EndPreamble
-End
-
-
-Style Remark
- CopyStyle Theorem
- LatexName rem
- LabelString "Remark \thetheorem."
- Font
- Shape Up
- Size Normal
- EndFont
- LabelFont
- Series Medium
- Shape Italic
- EndFont
- Preamble
- \newtheorem{rem}[thm]{Remark}
- EndPreamble
-End
-
-
-Style Claim
- CopyStyle Remark
- LatexName claim
- LabelString "Claim \thetheorem."
- Preamble
- \newtheorem{claim}[thm]{Claim}
- EndPreamble
-End
-
-Style Case
- CopyStyle Remark
- LatexName case
- LabelString "Case \thetheorem."
- Preamble
- \newtheorem{case}[thm]{Case}
- EndPreamble
-End
-
-
-Style Conclusion
- CopyStyle Remark
- LatexName conclusion
- LabelString "Conclusion \thetheorem."
- Preamble
- \newtheorem{conclusion}[thm]{Conclusion}
- EndPreamble
-End
+Input theorems.inc
# Author: Richard Heck <rgheck@comcast.net>
# Adapted from amsmaths.inc
-# The environnements defined are :
-# - Theorem
-# - Corollary
-# - Lemma
-# - Proposition
-# - Conjecture
-# - Definition
-# - Example
-# - Exercise
-# - Remark
-# - Note
-# - Claim
-# - Case
-# - Conclusion
-# - Fact
-
Format 5
Counter
Within chapter
End
-
-Style Theorem
- Margin First_Dynamic
- LatexType Environment
- LatexName thm
- 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 Counter
- LabelCounter theorem
- LabelString "Theorem \thechapter.\thetheorem."
- Font
- Shape Italic
- Size Normal
- EndFont
- LabelFont
- Shape Up
- Series Bold
- EndFont
- Preamble
- \newtheorem{thm}{Theorem}[chapter]
- EndPreamble
-End
-
-Style Corollary
- CopyStyle Theorem
- LatexName cor
- LabelString "Corollary \thechapter.\thetheorem."
- Preamble
- \newtheorem{cor}[thm]{Corollary}
- EndPreamble
-End
-
-Style Lemma
- CopyStyle Theorem
- LatexName lem
- LabelString "Lemma \thechapter.\thetheorem."
- Preamble
- \newtheorem{lem}[thm]{Lemma}
- EndPreamble
-End
-
-Style Proposition
- CopyStyle Theorem
- LatexName prop
- LabelString "Proposition \thechapter.\thetheorem."
- Preamble
- \newtheorem{prop}[thm]{Proposition}
- EndPreamble
-End
-
-Style Conjecture
- CopyStyle Theorem
- LatexName conjecture
- LabelString "Conjecture \thechapter.\thetheorem."
- Preamble
- \newtheorem{conjecture}[thm]{Conjecture}
- EndPreamble
-End
-
-Style Fact
- CopyStyle Theorem
- LatexName fact
- LabelString "Fact \thechapter.\thetheorem."
- Preamble
- \newtheorem{fact}[thm]{Fact}
- EndPreamble
-End
-
-Style Definition
- CopyStyle Theorem
- LatexName defn
- LabelString "Definition \thechapter.\thetheorem."
- Font
- Shape Up
- EndFont
- LabelFont
- Shape Up
- Series Bold
- EndFont
- Preamble
- \newtheorem{defn}[thm]{Definition}
- EndPreamble
-End
-
-
-Style Example
- CopyStyle Definition
- LatexName example
- LabelString "Example \thechapter.\thetheorem."
- Preamble
- \newtheorem{example}[thm]{Example}
- EndPreamble
-End
-
-
-Style Exercise
- CopyStyle Definition
- LatexName xca
- LabelString "Exercise \thechapter.\thetheorem."
- Preamble
- \newtheorem{xca}{Exercise}
- EndPreamble
-End
-
-
-Style Remark
- CopyStyle Theorem
- LatexName rem
- LabelString "Remark \thechapter.\thetheorem."
- Font
- Shape Up
- Size Normal
- EndFont
- LabelFont
- Series Medium
- Shape Italic
- EndFont
- Preamble
- \newtheorem{rem}[thm]{Remark}
- EndPreamble
-End
-
-
-Style Claim
- CopyStyle Remark
- LatexName claim
- LabelString "Claim \thechapter.\thetheorem."
- Preamble
- \newtheorem{claim}[thm]{Claim}
- EndPreamble
-End
-
-Style Case
- CopyStyle Remark
- LatexName case
- LabelString "Case \thechapter.\thetheorem."
- Preamble
- \newtheorem{case}[thm]{Case}
- EndPreamble
-End
-
-
-Style Conclusion
- CopyStyle Remark
- LatexName conclusion
- LabelString "Conclusion \thechapter.\thetheorem."
- Preamble
- \newtheorem{conclusion}[thm]{Conclusion}
- EndPreamble
-End
-
+Input theorems.inc
# Author: Richard Heck <rgheck@comcast.net>
# Adapted from amsmaths.inc
-# The environnements defined are :
-# - Theorem
-# - Corollary
-# - Lemma
-# - Proposition
-# - Conjecture
-# - Definition
-# - Example
-# - Exercise
-# - Remark
-# - Note
-# - Claim
-# - Case
-# - Conclusion
-# - Fact
-
Format 5
Counter
Within section
End
-
-Style Theorem
- Margin First_Dynamic
- LatexType Environment
- LatexName thm
- 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 Counter
- LabelCounter theorem
- LabelString "Theorem \thetheorem."
- Font
- Shape Italic
- Size Normal
- EndFont
- LabelFont
- Shape Up
- Series Bold
- EndFont
- Preamble
- \newtheorem{thm}{Theorem}[section]
- EndPreamble
-End
-
-Style Corollary
- CopyStyle Theorem
- LatexName cor
- LabelString "Corollary \thetheorem."
- Preamble
- \newtheorem{cor}[thm]{Corollary}
- EndPreamble
-End
-
-Style Lemma
- CopyStyle Theorem
- LatexName lem
- LabelString "Lemma \thetheorem."
- Preamble
- \newtheorem{lem}[thm]{Lemma}
- EndPreamble
-End
-
-Style Proposition
- CopyStyle Theorem
- LatexName prop
- LabelString "Proposition \thetheorem."
- Preamble
- \newtheorem{prop}[thm]{Proposition}
- EndPreamble
-End
-
-Style Conjecture
- CopyStyle Theorem
- LatexName conjecture
- LabelString "Conjecture \thetheorem."
- Preamble
- \newtheorem{conjecture}[thm]{Conjecture}
- EndPreamble
-End
-
-Style Fact
- CopyStyle Theorem
- LatexName fact
- LabelString "Fact \thetheorem."
- Preamble
- \newtheorem{fact}[thm]{Fact}
- EndPreamble
-End
-
-Style Definition
- CopyStyle Theorem
- LatexName defn
- LabelString "Definition \thetheorem."
- Font
- Shape Up
- EndFont
- LabelFont
- Shape Up
- Series Bold
- EndFont
- Preamble
- \newtheorem{defn}[thm]{Definition}
- EndPreamble
-End
-
-
-Style Example
- CopyStyle Definition
- LatexName example
- LabelString "Example \thetheorem."
- Preamble
- \newtheorem{example}[thm]{Example}
- EndPreamble
-End
-
-
-Style Exercise
- CopyStyle Definition
- LatexName xca
- LabelString "Exercise \thetheorem."
- Preamble
- \newtheorem{xca}{Exercise}
- EndPreamble
-End
-
-
-Style Remark
- CopyStyle Theorem
- LatexName rem
- LabelString "Remark \thetheorem."
- Font
- Shape Up
- Size Normal
- EndFont
- LabelFont
- Series Medium
- Shape Italic
- EndFont
- Preamble
- \newtheorem{rem}[thm]{Remark}
- EndPreamble
-End
-
-
-Style Claim
- CopyStyle Remark
- LatexName claim
- LabelString "Claim \thetheorem."
- Preamble
- \newtheorem{claim}[thm]{Claim}
- EndPreamble
-End
-
-Style Case
- CopyStyle Remark
- LatexName case
- LabelString "Case \thetheorem."
- Preamble
- \newtheorem{case}[thm]{Case}
- EndPreamble
-End
-
-
-Style Conclusion
- CopyStyle Remark
- LatexName conclusion
- LabelString "Conclusion \thetheorem."
- Preamble
- \newtheorem{conclusion}[thm]{Conclusion}
- EndPreamble
-End
-
+Input theorems.inc
--- /dev/null
+# Author: Richard Heck <rgheck@comcast.net>
+# Adapted from amsmaths.inc
+
+# The environnements defined are :
+# - Theorem
+# - Corollary
+# - Lemma
+# - Proposition
+# - Conjecture
+# - Definition
+# - Example
+# - Exercise
+# - Remark
+# - Note
+# - Claim
+# - Case
+# - Conclusion
+# - Fact
+
+Style Theorem
+ Margin First_Dynamic
+ LatexType Environment
+ LatexName thm
+ 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 Counter
+ LabelCounter theorem
+ LabelString "Theorem \arabic{theorem}."
+ Font
+ Shape Italic
+ Size Normal
+ EndFont
+ LabelFont
+ Shape Up
+ Series Bold
+ EndFont
+ Preamble
+ \newtheorem{thm}{Theorem}
+ EndPreamble
+End
+
+Style Corollary
+ CopyStyle Theorem
+ LatexName cor
+ LabelString "Corollary \thetheorem."
+ Preamble
+ \newtheorem{cor}[thm]{Corollary}
+ EndPreamble
+End
+
+Style Lemma
+ CopyStyle Theorem
+ LatexName lem
+ LabelString "Lemma \thetheorem."
+ Preamble
+ \newtheorem{lem}[thm]{Lemma}
+ EndPreamble
+End
+
+Style Proposition
+ CopyStyle Theorem
+ LatexName prop
+ LabelString "Proposition \thetheorem."
+ Preamble
+ \newtheorem{prop}[thm]{Proposition}
+ EndPreamble
+End
+
+Style Conjecture
+ CopyStyle Theorem
+ LatexName conjecture
+ LabelString "Conjecture \thetheorem."
+ Preamble
+ \newtheorem{conjecture}[thm]{Conjecture}
+ EndPreamble
+End
+
+Style Fact
+ CopyStyle Theorem
+ LatexName fact
+ LabelString "Fact \thetheorem."
+ Preamble
+ \newtheorem{fact}[thm]{Fact}
+ EndPreamble
+End
+
+Style Definition
+ CopyStyle Theorem
+ LatexName defn
+ LabelString "Definition \thetheorem."
+ Font
+ Shape Up
+ EndFont
+ LabelFont
+ Shape Up
+ Series Bold
+ EndFont
+ Preamble
+ \newtheorem{defn}[thm]{Definition}
+ EndPreamble
+End
+
+
+Style Example
+ CopyStyle Definition
+ LatexName example
+ LabelString "Example \thetheorem."
+ Preamble
+ \newtheorem{example}[thm]{Example}
+ EndPreamble
+End
+
+
+Style Exercise
+ CopyStyle Definition
+ LatexName xca
+ LabelString "Exercise \thetheorem."
+ Preamble
+ \newtheorem{xca}{Exercise}
+ EndPreamble
+End
+
+
+Style Remark
+ CopyStyle Theorem
+ LatexName rem
+ LabelString "Remark \thetheorem."
+ Font
+ Shape Up
+ Size Normal
+ EndFont
+ LabelFont
+ Series Medium
+ Shape Italic
+ EndFont
+ Preamble
+ \newtheorem{rem}[thm]{Remark}
+ EndPreamble
+End
+
+
+Style Claim
+ CopyStyle Remark
+ LatexName claim
+ LabelString "Claim \thetheorem."
+ Preamble
+ \newtheorem{claim}[thm]{Claim}
+ EndPreamble
+End
+
+Style Case
+ CopyStyle Remark
+ LatexName case
+ LabelString "Case \thetheorem."
+ Preamble
+ \newtheorem{case}[thm]{Case}
+ EndPreamble
+End
+
+
+Style Conclusion
+ CopyStyle Remark
+ LatexName conclusion
+ LabelString "Conclusion \thetheorem."
+ Preamble
+ \newtheorem{conclusion}[thm]{Conclusion}
+ EndPreamble
+End