# The "unnumbered" version has all results, unnumbered
# 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>
Format 5
Input amsart.layout
# Change the definitions of the theorem-like environments to get unnumbered
# results
-Input amsmaths-plain.inc
-
# Use a simpler preamble.
Preamble
\usepackage{amsmath,amsthm}
\usepackage{amsfonts}
EndPreamble
-
-Style Theorem
- LabelString "Theorem."
-End
-
-
-Style Corollary
- LabelType Static
- LabelString "Corollary."
-End
-
-
-Style Lemma
- LabelType Static
- LabelString "Lemma."
-End
-
-
-Style Proposition
- LabelType Static
- LabelString "Proposition."
-End
-
-
-Style Conjecture
- LabelType Static
- LabelString "Conjecture."
-End
-
-
-Style Criterion
- LabelType Static
- LabelString "Criterion."
-End
-
-
-Style Algorithm
- LabelType Static
- LabelString "Algorithm."
-End
-
-
-Style Fact
- LabelType Static
- LabelString "Fact."
-End
-
-
-Style Axiom
- LabelType Static
- LabelString "Axiom."
-End
-
-
-Style Definition
- LabelType Static
- LabelString "Definition."
-End
-
-
-Style Example
- LabelType Static
- LabelString "Example."
-End
-
-
-Style Condition
- LabelType Static
- LabelString "Condition."
-End
-
-
-Style Problem
- LabelType Static
- LabelString "Problem."
-End
-
-
-Style Exercise
- LabelType Static
- LabelString "Exercise."
-End
-
-
-Style Remark
- LabelType Static
- LabelString "Remark."
-End
-
-
-Style Claim
- LabelType Static
- LabelString "Claim."
-End
-
-
-Style Note
- LabelType Static
- LabelString "Note."
-End
-
-
-Style Notation
- LabelType Static
- LabelString "Notation."
-End
-
-
-Style Summary
- LabelType Static
- LabelString "Summary."
-End
-
-
-Style Acknowledgement
- LabelType Static
- LabelString "Acknowledgement."
-End
-
-
-Style Case
- LabelType Static
- LabelString "Case."
-End
-
-
-Style Conclusion
- LabelType Static
- LabelString "Conclusion."
-End
+Input amsmaths-plain.inc
#
# 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>
Format 5
Input amsart.layout
Input amsmaths-seq.inc
-# Use a simpler preamble.
-
-Preamble
-EndPreamble
-
-
-# but more counters
-
-Counter
- Name corollary
-End
-
-
-Counter
- Name lemma
-End
-
-
-Counter
- Name proposition
-End
-
-
-Counter
- Name conjecture
-End
-
-
-Counter
- Name criterion
-End
-
-
-Counter
- Name algorithm
-End
-
-
-Counter
- Name fact
-End
-
-
-Counter
- Name axiom
-End
-
-
-Counter
- Name definition
-End
-
-
-Counter
- Name example
-End
-
-
-Counter
- Name condition
-End
-
-
-Counter
- Name problem
-End
-
-
-Counter
- Name exercise
-End
-
-
-Counter
- Name remark
-End
-
-
-Counter
- Name claim
-End
-
-
-Counter
- Name note
-End
-
-
-Counter
- Name notation
-End
-
-
-Counter
- Name summary
-End
-
-
-Counter
- Name acknowledgement
-End
-
-
-Counter
- Name case
-End
-
-
-Counter
- Name conclusion
-End
-
-
-
-Style Theorem
- LabelCounter theorem
- LabelString "Theorem \arabic{theorem}."
-End
-
-
-Style Corollary
- LabelCounter corollary
- LabelString "Corollary \arabic{corollary}."
-End
-
-
-Style Lemma
- LabelCounter lemma
- LabelString "Lemma \arabic{lemma}."
-End
-
-
-Style Proposition
- LabelCounter proposition
- LabelString "Proposition \arabic{proposition}."
-End
-
-
-Style Conjecture
- LabelCounter conjecture
- LabelString "Conjecture \arabic{conjecture}."
-End
-
-
-Style Criterion
- LabelCounter criterion
- LabelString "Criterion \arabic{criterion}."
-End
-
-
-Style Algorithm
- LabelCounter algorithm
- LabelString "Algorithm \arabic{algorithm}."
-End
-
-
-Style Fact
- LabelCounter fact
- LabelString "Fact \arabic{fact}."
-End
-
-
-Style Axiom
- LabelCounter axiom
- LabelString "Axiom \arabic{axiom}."
-End
-
-
-Style Definition
- LabelCounter definition
- LabelString "Definition \arabic{definition}."
-End
-
-
-Style Example
- LabelCounter example
- LabelString "Example \arabic{example}."
-End
-
-
-Style Condition
- LabelCounter condition
- LabelString "Condition \arabic{condition}."
-End
-
-
-Style Problem
- LabelCounter problem
- LabelString "Problem \arabic{problem}."
-End
-
-
-Style Exercise
- LabelCounter exercise
- LabelString "Exercise \arabic{exercise}."
-End
-
-
-Style Remark
- LabelCounter remark
- LabelString "Remark \arabic{remark}."
-End
-
-
-Style Claim
- LabelCounter claim
- LabelString "Claim \arabic{claim}."
-End
-
-
-Style Note
- LabelCounter note
- LabelString "Note \arabic{note}."
-End
-
-
-Style Notation
- LabelCounter notation
- LabelString "Notation \arabic{notation}."
-End
-
-
-Style Summary
- LabelCounter summary
- LabelString "Summary \arabic{summary}."
-End
-
-
-Style Acknowledgement
- LabelCounter acknowledgement
- LabelString "Acknowledgement \arabic{acknowledgement}."
-End
-
-
-Style Case
- LabelCounter case
- LabelString "Case \arabic{case}."
-End
-
-
-Style Conclusion
- LabelCounter conclusion
- LabelString "Conclusion \arabic{conclusion}."
-End
# 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>
Format 5
Columns 1
Preamble
- \theoremstyle{plain}
- \newtheorem{thm}{Theorem}[section]
\numberwithin{equation}{section} %% Comment out for sequentially-numbered
\numberwithin{figure}{section} %% Comment out for sequentially-numbered
EndPreamble
-Input stdinsets.inc
Input stdsections.inc
Input stdstarsections.inc
Input lyxmacros.inc
-Input amsdefs.inc
Input stdlayouts.inc
Input stdlists.inc
Input stdfloats.inc
Input stdcounters.inc
+Input amsdefs.inc
NoStyle Chapter
NoStyle Paragraph
#NoStyle Subparagraph*
NoStyle Verse # Although mathematicians tend to be poets at times,
- # we don't need this.
+ # we don't need this.
Style Section
Align Center
- AlignPossible Block, Center, Left
Font
Series Medium
Shape Smallcaps
# 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>
Format 5
Preamble
\numberwithin{section}{chapter}
- \theoremstyle{plain}
- \newtheorem{thm}{Theorem}[section]
\numberwithin{equation}{section} %% Comment out for sequentially-numbered
\numberwithin{figure}{section} %% Comment out for sequentially-numbered
EndPreamble
-Input stdinsets.inc
Input stdsections.inc
Input numreport.inc
Style Section
Align Center
- AlignPossible Block, Center, Left
Font
Series Medium
Shape Smallcaps
Input stdstarsections.inc
-
-
Input lyxmacros.inc
-NoStyle Address
-
-
-Input amsdefs.inc
-
-
Input stdlayouts.inc
-NoStyle Verse
-NoStyle Abstract
-
-
Input stdlists.inc
Input stdfloats.inc
Input stdcounters.inc
+Input amsdefs.inc
+# Unwanted styles from the includes
+NoStyle Address
+NoStyle Verse
+NoStyle Abstract
# Chapter is _not_ prepended
Style Section
# 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>
# Including the maths stuff
Format 5
BottomSep 1
ParSep 1
Align Center
- AlignPossible Center
LabelType No_Label
OptionalArgs 1
Font
BottomSep 0.7
ParSep 0.7
Align Center
- AlignPossible Center
LabelType No_Label
Font
Size Large
BottomSep 0.5
ParSep 1
Align Center
- AlignPossible Center
LabelType Static
LabelString "Date:"
Font
TopSep 0.7
BottomSep 0.7
Align Block
- AlignPossible Block
LabelType Static
LabelString "Abstract."
LabelSep M
Style Subjectclass
CopyStyle Address
- LatexName subjclass
- LabelString "1991 Mathematics Subject Classification:"
+ LatexName subjclass[2000]
+ LabelString "2000 Mathematics Subject Classification:"
End
# 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>
-# These are only the plain (unnumbered) theorem styles environments
+# These are only the plain (unnumbered) theorem styles environments.
+# Both starred and unstarred versions are included for compatibility
+# with the other AMS classes.
# The environments defined are:
# - Theorem
# - Corollary
# - Notation
# - Summary
# - Acknowledgement
-# - Case
# - Conclusion
+# - Assumption
+# - Case (regular only -- defined as an enumeration)
Format 5
+
Style Theorem
LatexName thm*
LabelString "Theorem."
- Preamble
- \theoremstyle{plain}
- \newtheorem*{thm*}{Theorem}
- EndPreamble
End
Style Corollary
LatexName cor*
LabelString "Corollary."
- Preamble
- \theoremstyle{plain}
- \newtheorem*{cor*}{Corollary}
- EndPreamble
End
Style Lemma
LatexName lem*
LabelString "Lemma."
- Preamble
- \theoremstyle{plain}
- \newtheorem*{lem*}{Lemma}
- EndPreamble
End
Style Proposition
LatexName prop*
LabelString "Proposition."
- Preamble
- \theoremstyle{plain}
- \newtheorem*{prop*}{Proposition}
- EndPreamble
End
Style Conjecture
LatexName conjecture*
LabelString "Conjecture."
- Preamble
- \theoremstyle{plain}
- \newtheorem*{conjecture*}{Conjecture}
- EndPreamble
End
Style Criterion
LatexName criterion*
LabelString "Criterion."
- Preamble
- \theoremstyle{plain}
- \newtheorem*{criterion*}{Criterion}
- EndPreamble
End
Style Algorithm
LatexName algorithm*
- LabelString "Algorithm #."
- Preamble
- \theoremstyle{plain}
- \newtheorem*{algorithm*}{Algorithm}
- EndPreamble
+ LabelString "Algorithm."
End
Style Fact
LatexName fact*
LabelString "Fact."
- Preamble
- \theoremstyle{plain}
- \newtheorem*{fact*}{Fact}
- EndPreamble
End
Style Axiom
LatexName ax*
LabelString "Axiom."
- Preamble
- \theoremstyle{plain}
- \newtheorem*{ax*}{Axiom}
- EndPreamble
End
Style Definition
LatexName defn*
LabelString "Definition."
- Preamble
- \theoremstyle{definition}
- \newtheorem*{defn*}{Definition}
- EndPreamble
End
Style Example
LatexName example*
LabelString "Example."
- Preamble
- \theoremstyle{definition}
- \newtheorem*{example*}{Example}
- EndPreamble
End
Style Condition
LatexName condition*
LabelString "Condition."
- Preamble
- \theoremstyle{definition}
- \newtheorem*{condition*}{Condition}
- EndPreamble
End
Style Problem
LatexName problem*
LabelString "Problem."
- Preamble
- \theoremstyle{definition}
- \newtheorem*{problem*}{Problem}
- EndPreamble
End
Style Exercise
LatexName xca*
LabelString "Exercise."
- Preamble
- \theoremstyle{definition}
- \newtheorem*{xca*}{Exercise}
- EndPreamble
End
Style Remark
LatexName rem*
LabelString "Remark."
- Preamble
- \theoremstyle{remark}
- \newtheorem*{rem*}{Remark}
- EndPreamble
End
Style Claim
LatexName claim*
LabelString "Claim."
- Preamble
- \theoremstyle{remark}
- \newtheorem*{claim*}{Claim}
- EndPreamble
End
Style Note
LatexName note*
LabelString "Note."
- Preamble
- \theoremstyle{remark}
- \newtheorem*{note*}{Note}
- EndPreamble
End
Style Notation
LatexName notation*
LabelString "Notation."
- Preamble
- \theoremstyle{remark}
- \newtheorem*{notation*}{Notation}
- EndPreamble
End
Style Summary
LatexName summary*
LabelString "Summary."
- Preamble
- \theoremstyle{remark}
- \newtheorem*{summary*}{Summary}
- EndPreamble
End
Style Acknowledgement
LatexName acknowledgement*
LabelString "Acknowledgement."
- Preamble
- \theoremstyle{remark}
- \newtheorem*{acknowledgement*}{Acknowledgement}
- EndPreamble
-End
-
-
-Style Case
- LatexName case*
- LabelString "Case."
- Preamble
- \theoremstyle{remark}
- \newtheorem*{case*}{Case}
- EndPreamble
End
Style Conclusion
LatexName conclusion*
LabelString "Conclusion."
- Preamble
- \theoremstyle{remark}
- \newtheorem*{conclusion*}{Conclusion}
- EndPreamble
+End
+
+
+Style Assumption
+ LatexName assumption*
+ LabelString "Assumption."
End
# 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>
# These are only the theorems styles environnements
# The environnements defined are :
# - Notation
# - Summary
# - Acknowledgement
-# - Case
# - Conclusion
-
+# - Assumption
+# - Case (regular only -- defined as an enumeration)
Format 5
+
+# Use a simpler preamble.
+
+Preamble
+EndPreamble
+
+
+# but more counters
+
+# Do not restart theorem counter after section change
+Counter
+ Name thm
+End
+
+Counter
+ Name corollary
+End
+
+
+Counter
+ Name lemma
+End
+
+
+Counter
+ Name proposition
+End
+
+
+Counter
+ Name conjecture
+End
+
+
+Counter
+ Name criterion
+End
+
+
+Counter
+ Name algorithm
+End
+
+
+Counter
+ Name fact
+End
+
+
+Counter
+ Name axiom
+End
+
+
+Counter
+ Name definition
+End
+
+
+Counter
+ Name example
+End
+
+
+Counter
+ Name condition
+End
+
+
+Counter
+ Name problem
+End
+
+
+Counter
+ Name exercise
+End
+
+
+Counter
+ Name remark
+End
+
+
+Counter
+ Name claim
+End
+
+
+Counter
+ Name note
+End
+
+
+Counter
+ Name notation
+End
+
+
+Counter
+ Name summary
+End
+
+
+Counter
+ Name acknowledgement
+End
+
+
+Counter
+ Name conclusion
+End
+
+Counter
+ Name assumption
+End
+
Style Theorem
+ LabelCounter thm
+ LabelString "Theorem \arabic{thm}."
Preamble
\theoremstyle{plain}
\newtheorem{thm}{Theorem}
Style Corollary
+ LabelCounter corollary
+ LabelString "Corollary \arabic{corollary}."
Preamble
\theoremstyle{plain}
\newtheorem{cor}{Corollary}
Style Lemma
+ LabelCounter lemma
+ LabelString "Lemma \arabic{lemma}."
Preamble
\theoremstyle{plain}
\newtheorem{lem}{Lemma}
Style Proposition
+ LabelCounter proposition
+ LabelString "Proposition \arabic{proposition}."
Preamble
\theoremstyle{plain}
\newtheorem{prop}{Proposition}
Style Conjecture
+ LabelCounter conjecture
+ LabelString "Conjecture \arabic{conjecture}."
Preamble
\theoremstyle{plain}
\newtheorem{conjecture}{Conjecture}
Style Criterion
+ LabelCounter criterion
+ LabelString "Criterion \arabic{criterion}."
Preamble
\theoremstyle{plain}
\newtheorem{criterion}{Criterion}
Style Algorithm
+ LabelCounter algorithm
+ LabelString "Algorithm \arabic{algorithm}."
Preamble
\theoremstyle{plain}
\newtheorem{algorithm}{Algorithm}
Style Fact
+ LabelCounter fact
+ LabelString "Fact \arabic{fact}."
Preamble
\theoremstyle{plain}
\newtheorem{fact}{Fact}
Style Axiom
+ LabelCounter axiom
+ LabelString "Axiom \arabic{axiom}."
Preamble
\theoremstyle{plain}
\newtheorem{ax}{Axiom}
Style Definition
+ LabelCounter definition
+ LabelString "Definition \arabic{definition}."
Preamble
\theoremstyle{definition}
\newtheorem{defn}{Definition}
Style Example
+ LabelCounter example
+ LabelString "Example \arabic{example}."
Preamble
\theoremstyle{definition}
\newtheorem{example}{Example}
Style Condition
+ LabelCounter condition
+ LabelString "Condition \arabic{condition}."
Preamble
\theoremstyle{definition}
\newtheorem{condition}{Condition}
Style Problem
+ LabelCounter problem
+ LabelString "Problem \arabic{problem}."
Preamble
\theoremstyle{definition}
\newtheorem{problem}{Problem}
Style Exercise
+ LabelCounter exercise
+ LabelString "Exercise \arabic{exercise}."
Preamble
\theoremstyle{definition}
\newtheorem{xca}{Exercise}
Style Remark
+ LabelCounter remark
+ LabelString "Remark \arabic{remark}."
Preamble
\theoremstyle{remark}
\newtheorem{rem}{Remark}
Style Claim
+ LabelCounter claim
+ LabelString "Claim \arabic{claim}."
Preamble
\theoremstyle{remark}
\newtheorem{claim}{Claim}
Style Note
+ LabelCounter note
+ LabelString "Note \arabic{note}."
Preamble
\theoremstyle{remark}
\newtheorem{note}{Note}
Style Notation
+ LabelCounter notation
+ LabelString "Notation \arabic{notation}."
Preamble
\theoremstyle{remark}
\newtheorem{notation}{Notation}
Style Summary
+ LabelCounter summary
+ LabelString "Summary \arabic{summary}."
Preamble
\theoremstyle{remark}
\newtheorem{summary}{Summary}
Style Acknowledgement
+ LabelCounter acknowledgement
+ LabelString "Acknowledgement \arabic{acknowledgement}."
Preamble
\theoremstyle{remark}
\newtheorem{acknowledgement}{Acknowledgement}
End
-Style Case
+Style Conclusion
+ LabelCounter conclusion
+ LabelString "Conclusion \arabic{conclusion}."
Preamble
\theoremstyle{remark}
- \newtheorem{case}{Case}
+ \newtheorem{conclusion}{Conclusion}
EndPreamble
End
-Style Conclusion
+Style Assumption
+ LabelCounter assumption
+ LabelString "Assumption \arabic{assumption}."
Preamble
- \theoremstyle{remark}
- \newtheorem{conclusion}{Conclusion}
+ \theoremstyle{plain}
+ \newtheorem{assumption}{Assumption}
EndPreamble
End
-
-
-
-
# numbered environments (figures as well) containing the section number.
# (Themorem (1.1), Corollary (1.2) Theorem (1.3), etc.
# These are only the theorems styles environnements
+# Tinkered with Sep. '07 by Paul Rubin <rubin@msu.edu>
-
-# The environnements defined are :
+# The environnements defined (regular and starred) are :
# - 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*
+# - Assumption
+# - Case (regular only -- defined as an enumeration)
Format 5
-Preamble
- \theoremstyle{plain}
- \newtheorem{thm}{Theorem}[section]
-EndPreamble
Counter
Name theorem
+ Within section
End
AlignPossible Block, Left
LabelType Counter
LabelCounter theorem
- LabelString "Theorem \thetheorem."
+ LabelString "Theorem @Section@.\arabic{theorem}."
Font
Shape Italic
Size Normal
Shape Up
Series Bold
EndFont
+ Preamble
+ \theoremstyle{plain}
+ \newtheorem{thm}{Theorem}[section]
+ EndPreamble
End
Style Corollary
CopyStyle Theorem
LatexName cor
- LabelString "Corollary \thetheorem."
+ LabelString "Corollary @Section@.\arabic{theorem}."
Preamble
\theoremstyle{plain}
\newtheorem{cor}[thm]{Corollary}
Style Lemma
CopyStyle Theorem
LatexName lem
- LabelString "Lemma \thetheorem."
+ LabelString "Lemma @Section@.\arabic{theorem}."
Preamble
\theoremstyle{plain}
\newtheorem{lem}[thm]{Lemma}
Style Proposition
CopyStyle Theorem
LatexName prop
- LabelString "Proposition \thetheorem."
+ LabelString "Proposition @Section@.\arabic{theorem}."
Preamble
\theoremstyle{plain}
\newtheorem{prop}[thm]{Proposition}
Style Conjecture
CopyStyle Theorem
LatexName conjecture
- LabelString "Conjecture \thetheorem."
+ LabelString "Conjecture @Section@.\arabic{theorem}."
Preamble
\theoremstyle{plain}
\newtheorem{conjecture}[thm]{Conjecture}
Style Criterion
CopyStyle Theorem
LatexName criterion
- LabelString "Criterion \thetheorem."
+ LabelString "Criterion @Section@.\arabic{theorem}."
Preamble
\theoremstyle{plain}
\newtheorem{criterion}[thm]{Criterion}
EndPreamble
End
+Style Criterion*
+ CopyStyle Theorem*
+ LatexName criterion*
+ LabelString "Criterion."
+ Preamble
+ \theoremstyle{plain}
+ \newtheorem*{criterion*}{Criterion}
+ EndPreamble
+End
+
Style Algorithm
CopyStyle Theorem
LatexName algorithm
- LabelString "Algorithm \thetheorem."
+ LabelString "Algorithm @Section@.\arabic{theorem}."
Preamble
\theoremstyle{plain}
\newtheorem{algorithm}[thm]{Algorithm}
End
+Style Algorithm*
+ CopyStyle Theorem*
+ LatexName algorithm*
+ LabelString "Algorithm."
+ Preamble
+ \theoremstyle{plain}
+ \newtheorem*{algorithm*}{Algorithm}
+ EndPreamble
+End
+
+
Style Fact
CopyStyle Theorem
LatexName fact
- LabelString "Fact \thetheorem."
+ LabelString "Fact @Section@.\arabic{theorem}."
Preamble
\theoremstyle{plain}
\newtheorem{fact}[thm]{Fact}
Style Axiom
CopyStyle Theorem
LatexName ax
- LabelString "Axiom \thetheorem."
+ LabelString "Axiom @Section@.\arabic{theorem}."
Preamble
\theoremstyle{plain}
\newtheorem{ax}[thm]{Axiom}
End
+Style Axiom*
+ CopyStyle Theorem*
+ LatexName ax*
+ LabelString "Axiom."
+ Preamble
+ \theoremstyle{plain}
+ \newtheorem*{ax*}{Axiom}
+ EndPreamble
+End
+
+
Style Definition
CopyStyle Theorem
LatexName defn
- LabelString "Definition \thetheorem."
+ LabelString "Definition @Section@.\arabic{theorem}."
Font
Shape Up
EndFont
Style Example
CopyStyle Definition
LatexName example
- LabelString "Example \thetheorem."
+ LabelString "Example @Section@.\arabic{theorem}."
Preamble
\theoremstyle{definition}
\newtheorem{example}[thm]{Example}
Style Condition
CopyStyle Definition
LatexName condition
- LabelString "Condition \thetheorem."
+ LabelString "Condition @Section@.\arabic{theorem}."
Preamble
\theoremstyle{definition}
\newtheorem{condition}[thm]{Condition}
Style Problem
CopyStyle Definition
LatexName problem
- LabelString "Problem \thetheorem."
+ LabelString "Problem @Section@.\arabic{theorem}."
Preamble
\theoremstyle{definition}
\newtheorem{problem}[thm]{Problem}
Style Exercise
CopyStyle Definition
LatexName xca
- LabelString "Exercise \thetheorem."
+ LabelString "Exercise @Section@.\arabic{theorem}."
Preamble
\theoremstyle{definition}
- %%Delete [section] for sequential numbering
- \newtheorem{xca}[section]{Exercise}
+ \newtheorem{xca}[thm]{Exercise}
EndPreamble
End
Style Remark
CopyStyle Theorem
LatexName rem
- LabelString "Remark \thetheorem."
+ LabelString "Remark @Section@.\arabic{theorem}."
Font
Shape Up
Size Normal
Style Claim
CopyStyle Remark
LatexName claim
- LabelString "Claim \thetheorem."
+ LabelString "Claim @Section@.\arabic{theorem}."
Preamble
\theoremstyle{remark}
\newtheorem{claim}[thm]{Claim}
Style Note
CopyStyle Remark
LatexName note
- LabelString "Note \thetheorem."
+ LabelString "Note @Section@.\arabic{theorem}."
Preamble
\theoremstyle{remark}
\newtheorem{note}[thm]{Note}
Style Notation
CopyStyle Remark
LatexName notation
- LabelString "Notation \thetheorem."
+ LabelString "Notation @Section@.\arabic{theorem}."
Preamble
\theoremstyle{remark}
\newtheorem{notation}[thm]{Notation}
LabelString "Notation."
Preamble
\theoremstyle{remark}
- \newtheorem*{notation*}[thm]{Notation}
+ \newtheorem*{notation*}{Notation}
EndPreamble
End
Style Summary
CopyStyle Remark
LatexName summary
- LabelString "Summary \thetheorem."
+ LabelString "Summary @Section@.\arabic{theorem}."
Preamble
\theoremstyle{remark}
\newtheorem{summary}[thm]{Summary}
End
+Style Summary*
+ CopyStyle Remark*
+ LatexName summary*
+ LabelString "Summary."
+ Preamble
+ \theoremstyle{remark}
+ \newtheorem*{summary*}{Summary}
+ EndPreamble
+End
+
+
Style Acknowledgement
CopyStyle Remark
LatexName acknowledgement
- LabelString "Acknowledgement \thetheorem."
+ LabelString "Acknowledgement @Section@.\arabic{theorem}."
Preamble
\theoremstyle{remark}
\newtheorem{acknowledgement}[thm]{Acknowledgement}
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."
+ LabelString "Conclusion @Section@.\arabic{theorem}."
Preamble
\theoremstyle{remark}
\newtheorem{conclusion}[thm]{Conclusion}
\newtheorem*{conclusion*}{Conclusion}
EndPreamble
End
+
+
+Style Assumption
+ CopyStyle Theorem
+ LatexName assumption
+ LabelString "Assumption @Section@.\arabic{theorem}."
+ Preamble
+ \theoremstyle{plain}
+ \newtheorem{assumption}[thm]{Assumption}
+ EndPreamble
+End
+
+
+Style Assumption*
+ CopyStyle Theorem*
+ LatexName assumption*
+ LabelString "Assumption."
+ Preamble
+ \theoremstyle{plain}
+ \newtheorem*{assumption*}{Assumption}
+ EndPreamble
+End
+
+
+# Define Case as an enumeration environment
+Style Case
+ CopyStyle Enumerate
+ LatexName caseenv
+ LabelType Static
+ LeftMargin "MMMMMMN"
+ LabelString "Case #:"
+ Preamble
+ \newcounter{casectr}
+ \newenvironment{caseenv}
+ {\begin{list}{\bfseries\upshape Case \arabic{casectr}:}{}\setcounter{casectr}{0}\usecounter{casectr}}
+ {\end{list}}
+ EndPreamble
+End