# - Example
# - Example*
# - Condition
+# - Condition*
# - Problem
+# - Problem*
# - Exercise
# - Remark
# - Remark*
# - Note
# - Note*
# - Notation
+# - Notation*
# - Claim
# - Claim*
# - Summary
# - Case
# - Conclusion
# - Conclusion*
-# - Fact
+# - Fact
# - Fact*
-# A hack: this is used to provide a preamble which is needed by other
-# style. Since this style has been obsoleted, it does not show up in
-# layout lists
-Style TheoremStyle
- ObsoletedBy Standard
- Preamble
- \theoremstyle{plain}
- EndPreamble
+Format 4
+Preamble
+ \theoremstyle{plain}
+ \newtheorem{thm}{Theorem}[section]
+EndPreamble
+
+
+Counter
+ Name theorem
End
-# Theorem-numbered style declaration
Style Theorem
Margin First_Dynamic
LatexType Environment
LatexName thm
- DependsOn TheoremStyle
+ #DependsOn TheoremStyle
NextNoIndent 1
LabelSep xx
- ParIndent MMM
+ ParIndent MMM
ParSkip 0.4
ItemSep 0.2
TopSep 0.7
ParSep 0.3
Align Block
AlignPossible Block, Left
- LabelType Static
- LabelString "Theorem #."
-
-
- # standard font definition
+ LabelType Counter
+ LabelCounter theorem
+ LabelString "Theorem @Section@.\arabic{theorem}."
Font
Shape Italic
Size Normal
EndFont
-
- # label font definition
LabelFont
Shape Up
Series Bold
EndFont
+End
-End
-# Theorem-unnumbered style declaration
Style Theorem*
CopyStyle Theorem
LatexName thm*
+ LabelType Static
LabelString "Theorem."
-
Preamble
- \theoremstyle{plain}
- \newtheorem*{thm*}{Theorem}
+ \theoremstyle{plain}
+ \newtheorem*{thm*}{Theorem}
EndPreamble
-End
+End
+
-# Corollary-numbered style declaration
Style Corollary
CopyStyle Theorem
LatexName cor
- LabelString "Corollary #."
-
+ LabelString "Corollary @Section@.\arabic{theorem}."
Preamble
- \theoremstyle{plain}
- \newtheorem{cor}[thm]{Corollary} %%Delete [thm] to re-start numbering
+ \theoremstyle{plain}
+ \newtheorem{cor}[thm]{Corollary}
EndPreamble
-End
-# Corollary-unnumbered style declaration
+End
+
+
Style Corollary*
- CopyStyle Theorem
+ CopyStyle Theorem*
LatexName cor*
LabelString "Corollary."
-
Preamble
- \theoremstyle{plain}
+ \theoremstyle{plain}
\newtheorem*{cor*}{Corollary}
EndPreamble
-End
+End
+
-# Lemma-numbered style declaration
Style Lemma
CopyStyle Theorem
LatexName lem
- LabelString "Lemma #."
-
+ LabelString "Lemma @Section@.\arabic{theorem}."
Preamble
- \theoremstyle{plain}
- \newtheorem{lem}[thm]{Lemma} %%Delete [thm] to re-start numbering
+ \theoremstyle{plain}
+ \newtheorem{lem}[thm]{Lemma}
EndPreamble
-End
+End
+
-# Lemma-unnumbered style declaration
Style Lemma*
- CopyStyle Theorem
+ CopyStyle Theorem*
LatexName lem*
LabelString "Lemma."
-
Preamble
- \theoremstyle{plain}
- \newtheorem*{lem*}{Lemma} %%Delete [thm] to re-start numbering
+ \theoremstyle{plain}
+ \newtheorem*{lem*}{Lemma}
EndPreamble
-End
+End
+
-# Proposition-numbered style declaration
Style Proposition
CopyStyle Theorem
LatexName prop
- LabelString "Proposition #."
-
+ LabelString "Proposition @Section@.\arabic{theorem}."
Preamble
- \theoremstyle{plain}
- \newtheorem{prop}[thm]{Proposition} %%Delete [thm] to re-start numbering
+ \theoremstyle{plain}
+ \newtheorem{prop}[thm]{Proposition}
EndPreamble
-End
+End
+
-# Proposition-unnumbered style declaration
Style Proposition*
- CopyStyle Theorem
+ CopyStyle Theorem*
LatexName prop*
LabelString "Proposition."
-
Preamble
- \theoremstyle{plain}
- \newtheorem*{prop*}{Proposition}
+ \theoremstyle{plain}
+ \newtheorem*{prop*}{Proposition}
EndPreamble
-End
+End
+
-# Conjecture-numbered style declaration
Style Conjecture
CopyStyle Theorem
LatexName conjecture
- LabelString "Conjecture #."
-
+ LabelString "Conjecture @Section@.\arabic{theorem}."
Preamble
- \theoremstyle{plain}
- \newtheorem{conjecture}[thm]{Conjecture} %%Delete [thm] to re-start numbering
+ \theoremstyle{plain}
+ \newtheorem{conjecture}[thm]{Conjecture}
EndPreamble
-End
+End
+
-# Conjecture-unnumbered style declaration
Style Conjecture*
- CopyStyle Theorem
+ CopyStyle Theorem*
LatexName conjecture*
LabelString "Conjecture."
-
Preamble
- \theoremstyle{plain}
- \newtheorem*{conjecture*}{Conjecture}
+ \theoremstyle{plain}
+ \newtheorem*{conjecture*}{Conjecture}
EndPreamble
-End
+End
+
-# Criterion-numbered style declaration
Style Criterion
CopyStyle Theorem
LatexName criterion
- LabelString "Criterion #."
-
+ LabelString "Criterion @Section@.\arabic{theorem}."
Preamble
- \theoremstyle{plain}
- \newtheorem{criterion}[thm]{Criterion} %%Delete [thm] to re-start numbering
+ \theoremstyle{plain}
+ \newtheorem{criterion}[thm]{Criterion}
EndPreamble
-End
+End
+
-# Algorithm-numbered style declaration
Style Algorithm
CopyStyle Theorem
LatexName algorithm
- LabelString "Algorithm #."
-
+ LabelString "Algorithm @Section@.\arabic{theorem}."
Preamble
- \theoremstyle{plain}
- \newtheorem{algorithm}[thm]{Algorithm} %%Delete [thm] to re-start numbering
+ \theoremstyle{plain}
+ \newtheorem{algorithm}[thm]{Algorithm}
EndPreamble
-End
+End
+
-# Fact-numbered style declaration
Style Fact
CopyStyle Theorem
LatexName fact
- LabelString "Fact #."
-
+ LabelString "Fact @Section@.\arabic{theorem}."
Preamble
- \theoremstyle{plain}
- \newtheorem{fact}[thm]{Fact}
+ \theoremstyle{plain}
+ \newtheorem{fact}[thm]{Fact}
EndPreamble
-End
+End
+
-# Fact-unnumbered style declaration
Style Fact*
- CopyStyle Theorem
+ CopyStyle Theorem*
LatexName fact*
LabelString "Fact."
-
Preamble
- \theoremstyle{plain}
- \newtheorem*{fact*}{Fact}
+ \theoremstyle{plain}
+ \newtheorem*{fact*}{Fact}
EndPreamble
-End
+End
+
-# Axiom-numbered style declaration
Style Axiom
CopyStyle Theorem
LatexName ax
- LabelString "Axiom #."
-
+ LabelString "Axiom @Section@.\arabic{theorem}."
Preamble
- \theoremstyle{plain}
- \newtheorem{ax}[thm]{Axiom}
+ \theoremstyle{plain}
+ \newtheorem{ax}[thm]{Axiom}
EndPreamble
-End
+End
+
-# Definition-numbered style declaration
Style Definition
CopyStyle Theorem
LatexName defn
- LabelString "Definition #."
-
- # standard font definition
+ LabelString "Definition @Section@.\arabic{theorem}."
Font
Shape Up
EndFont
-
- # label font definition
LabelFont
Shape Up
Series Bold
EndFont
-
Preamble
- \theoremstyle{definition}
- \newtheorem{defn}[thm]{Definition}
+ \theoremstyle{definition}
+ \newtheorem{defn}[thm]{Definition}
EndPreamble
-End
-# Definition-unnumbered style declaration
+End
+
+
Style Definition*
CopyStyle Definition
LatexName defn*
+ LabelType Static
LabelString "Definition."
-
Preamble
\theoremstyle{definition}
\newtheorem*{defn*}{Definition}
EndPreamble
-End
+End
+
-# Example-numbered style declaration
Style Example
CopyStyle Definition
LatexName example
- LabelString "Example #."
-
+ LabelString "Example @Section@.\arabic{theorem}."
Preamble
\theoremstyle{definition}
\newtheorem{example}[thm]{Example}
EndPreamble
-End
+End
+
-# Example-unnumbered style declaration
Style Example*
- CopyStyle Definition
+ CopyStyle Definition*
LatexName example*
LabelString "Example."
-
Preamble
- \theoremstyle{definition}
+ \theoremstyle{definition}
\newtheorem*{example*}{Example}
EndPreamble
-End
+End
+
-# Condition-numbered style declaration
Style Condition
CopyStyle Definition
LatexName condition
- LabelString "Condition #."
-
+ LabelString "Condition @Section@.\arabic{theorem}."
Preamble
- \theoremstyle{definition}
+ \theoremstyle{definition}
\newtheorem{condition}[thm]{Condition}
EndPreamble
-End
+End
+
+
+Style Condition*
+ CopyStyle Definition*
+ LatexName condition*
+ LabelString "Condition."
+ Preamble
+ \theoremstyle{definition}
+ \newtheorem*{condition*}{Condition}
+ EndPreamble
+End
+
-# Problem-numbered style declaration
Style Problem
CopyStyle Definition
LatexName problem
- LabelString "Problem #."
-
+ LabelString "Problem @Section@.\arabic{theorem}."
Preamble
- \theoremstyle{definition}
+ \theoremstyle{definition}
\newtheorem{problem}[thm]{Problem}
EndPreamble
-End
+End
+
+
+Style Problem*
+ CopyStyle Definition*
+ LatexName problem*
+ LabelString "Problem."
+ Preamble
+ \theoremstyle{definition}
+ \newtheorem*{problem*}{Problem}
+ EndPreamble
+End
+
-# Exercise-numbered style declaration
Style Exercise
CopyStyle Definition
LatexName xca
- LabelString "Exercise #."
+ LabelString "Exercise @Section@.\arabic{theorem}."
+ 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}[section]{Exercise}%%Delete [section] for sequential numbering
+ \theoremstyle{definition}
+ \newtheorem*{xca*}{Exercise}
EndPreamble
-End
+End
+
-# Remark-numbered style declaration
Style Remark
CopyStyle Theorem
LatexName rem
- LabelString "Remark #."
-
- # standard font definition
+ LabelString "Remark @Section@.\arabic{theorem}."
Font
Shape Up
Size Normal
EndFont
-
- # label font definition
LabelFont
Series Medium
Shape Italic
EndFont
-
Preamble
\theoremstyle{remark}
\newtheorem{rem}[thm]{Remark}
EndPreamble
-End
-# Remark-unnumbered style declaration
+End
+
+
Style Remark*
CopyStyle Remark
LatexName rem*
+ LabelType Static
LabelString "Remark."
-
Preamble
\theoremstyle{remark}
\newtheorem*{rem*}{Remark}
EndPreamble
-End
+End
+
-# Claim-numbered style declaration
Style Claim
CopyStyle Remark
LatexName claim
- LabelString "Claim #."
-
+ LabelString "Claim @Section@.\arabic{theorem}."
Preamble
- \theoremstyle{remark}
+ \theoremstyle{remark}
\newtheorem{claim}[thm]{Claim}
EndPreamble
-End
+End
+
-# Claim-unnumbered style declaration
Style Claim*
- CopyStyle Remark
+ CopyStyle Remark*
LatexName claim*
LabelString "Claim."
-
Preamble
- \theoremstyle{remark}
+ \theoremstyle{remark}
\newtheorem*{claim*}{Claim}
EndPreamble
-End
+End
+
-# Note-numbered style declaration
Style Note
CopyStyle Remark
LatexName note
- LabelString "Note #."
-
+ LabelString "Note @Section@.\arabic{theorem}."
Preamble
- \theoremstyle{remark}
- \newtheorem{note}[thm]{Note}
+ \theoremstyle{remark}
+ \newtheorem{note}[thm]{Note}
EndPreamble
-End
+End
+
-# Note-unnumbered style declaration
Style Note*
- CopyStyle Remark
+ CopyStyle Remark*
LatexName note*
LabelString "Note."
-
Preamble
- \theoremstyle{remark}
- \newtheorem*{note*}{Note}
+ \theoremstyle{remark}
+ \newtheorem*{note*}{Note}
EndPreamble
-End
+End
-# Notation-numbered style declaration
Style Notation
CopyStyle Remark
LatexName notation
- LabelString "Notation #."
+ LabelString "Notation @Section@.\arabic{theorem}."
+ Preamble
+ \theoremstyle{remark}
+ \newtheorem{notation}[thm]{Notation}
+ EndPreamble
+End
+
+Style Notation*
+ CopyStyle Remark*
+ LatexName notation*
+ LabelString "Notation."
Preamble
- \theoremstyle{remark}
- \newtheorem{notation}[thm]{Notation}
+ \theoremstyle{remark}
+ \newtheorem*{notation*}[thm]{Notation}
EndPreamble
-End
+End
+
-# Summary-numbered style declaration
Style Summary
CopyStyle Remark
LatexName summary
- LabelString "Summary #."
-
+ LabelString "Summary @Section@.\arabic{theorem}."
Preamble
- \theoremstyle{remark}
- \newtheorem{summary}[thm]{Summary}
+ \theoremstyle{remark}
+ \newtheorem{summary}[thm]{Summary}
EndPreamble
-End
+End
+
-# Acknowledgement-numbered style declaration
Style Acknowledgement
CopyStyle Remark
LatexName acknowledgement
- LabelString "Acknowledgement #."
-
+ LabelString "Acknowledgement @Section@.\arabic{theorem}."
Preamble
- \theoremstyle{remark}
- \newtheorem{acknowledgement}[thm]{Acknowledgement}
+ \theoremstyle{remark}
+ \newtheorem{acknowledgement}[thm]{Acknowledgement}
EndPreamble
-End
-# Acknowledgement-unnumbered style declaration
+End
+
+
Style Acknowledgement*
- CopyStyle Remark
+ CopyStyle Remark*
LatexName acknowledgement*
LabelString "Acknowledgement."
-
Preamble
- \theoremstyle{remark}
- \newtheorem*{acknowledgement*}{Acknowledgement}
+ \theoremstyle{remark}
+ \newtheorem*{acknowledgement*}{Acknowledgement}
EndPreamble
-End
+End
+
-# Case-numbered style declaration
Style Case
CopyStyle Remark
LatexName case
- LabelString "Case #."
-
+ LabelString "Case @Section@.\arabic{theorem}."
Preamble
- \theoremstyle{remark}
- \newtheorem{case}{Case} %%Numbering of Cases not keyed to sections
+ \theoremstyle{remark}
+ \newtheorem{case}{Case} %%Numbering of Cases not keyed to sections
EndPreamble
-End
+End
+
-# Conclusion-numbered style declaration
Style Conclusion
CopyStyle Remark
LatexName conclusion
- LabelString "Conclusion #."
-
+ LabelString "Conclusion @Section@.\arabic{theorem}."
Preamble
- \theoremstyle{remark}
- \newtheorem{conclusion}[thm]{Conclusion}
+ \theoremstyle{remark}
+ \newtheorem{conclusion}[thm]{Conclusion}
EndPreamble
-End
+End
+
-# Conclusion-unnumbered style declaration
Style Conclusion*
- CopyStyle Remark
+ CopyStyle Remark*
LatexName conclusion*
- LabelString "Conclusion #."
-
+ LabelString "Conclusion."
Preamble
- \theoremstyle{remark}
- \newtheorem*{conclusion*}{Conclusion}
+ \theoremstyle{remark}
+ \newtheorem*{conclusion*}{Conclusion}
EndPreamble
-End
-
+End