# 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*
+# - Fact
+# - Assumption
+# - Case (regular only -- defined as an enumeration)
-Preamble
- \theoremstyle{plain}
- \newtheorem{thm}{Theorem}[section]
-EndPreamble
+Format 5
Counter
Name theorem
+ Within section
End
Margin First_Dynamic
LatexType Environment
LatexName thm
- #DependsOn TheoremStyle
NextNoIndent 1
+ OptionalArgs 1
LabelSep xx
- ParIndent MMM
+ ParIndent MMM
ParSkip 0.4
ItemSep 0.2
TopSep 0.7
AlignPossible Block, Left
LabelType Counter
LabelCounter theorem
- LabelString "Theorem @Section@.\arabic{theorem}."
+ LabelString "Theorem \thetheorem."
Font
Shape Italic
Size Normal
Shape Up
Series Bold
EndFont
-End
+ Preamble
+ \theoremstyle{plain}
+ \newtheorem{thm}{Theorem}[section]
+ EndPreamble
+End
Style Theorem*
CopyStyle Theorem
LatexName thm*
+ LabelType Static
LabelString "Theorem."
- LabelCounter ""
Preamble
- \theoremstyle{plain}
- \newtheorem*{thm*}{Theorem}
+ \theoremstyle{plain}
+ \newtheorem*{thm*}{Theorem}
EndPreamble
-End
+End
Style Corollary
CopyStyle Theorem
+ DependsOn Theorem
LatexName cor
- LabelString "Corollary @Section@.\arabic{theorem}."
+ LabelString "Corollary \thetheorem."
Preamble
- \theoremstyle{plain}
+ \theoremstyle{plain}
\newtheorem{cor}[thm]{Corollary}
EndPreamble
-End
+End
Style Corollary*
- CopyStyle Theorem
+ CopyStyle Theorem*
LatexName cor*
LabelString "Corollary."
Preamble
- \theoremstyle{plain}
+ \theoremstyle{plain}
\newtheorem*{cor*}{Corollary}
EndPreamble
-End
+End
Style Lemma
CopyStyle Theorem
+ DependsOn Theorem
LatexName lem
- LabelString "Lemma @Section@.\arabic{theorem}."
+ LabelString "Lemma \thetheorem."
Preamble
- \theoremstyle{plain}
+ \theoremstyle{plain}
\newtheorem{lem}[thm]{Lemma}
EndPreamble
-End
+End
Style Lemma*
- CopyStyle Theorem
+ CopyStyle Theorem*
LatexName lem*
LabelString "Lemma."
Preamble
- \theoremstyle{plain}
+ \theoremstyle{plain}
\newtheorem*{lem*}{Lemma}
EndPreamble
-End
+End
Style Proposition
CopyStyle Theorem
+ DependsOn Theorem
LatexName prop
- LabelString "Proposition @Section@.\arabic{theorem}."
+ LabelString "Proposition \thetheorem."
Preamble
- \theoremstyle{plain}
+ \theoremstyle{plain}
\newtheorem{prop}[thm]{Proposition}
EndPreamble
-End
+End
Style Proposition*
- CopyStyle Theorem
+ CopyStyle Theorem*
LatexName prop*
LabelString "Proposition."
Preamble
- \theoremstyle{plain}
- \newtheorem*{prop*}{Proposition}
+ \theoremstyle{plain}
+ \newtheorem*{prop*}{Proposition}
EndPreamble
-End
+End
Style Conjecture
CopyStyle Theorem
+ DependsOn Theorem
LatexName conjecture
- LabelString "Conjecture @Section@.\arabic{theorem}."
+ LabelString "Conjecture \thetheorem."
Preamble
- \theoremstyle{plain}
+ \theoremstyle{plain}
\newtheorem{conjecture}[thm]{Conjecture}
EndPreamble
-End
+End
Style Conjecture*
- CopyStyle Theorem
+ CopyStyle Theorem*
LatexName conjecture*
LabelString "Conjecture."
Preamble
- \theoremstyle{plain}
- \newtheorem*{conjecture*}{Conjecture}
+ \theoremstyle{plain}
+ \newtheorem*{conjecture*}{Conjecture}
EndPreamble
-End
+End
Style Criterion
CopyStyle Theorem
+ DependsOn Theorem
LatexName criterion
- LabelString "Criterion @Section@.\arabic{theorem}."
+ LabelString "Criterion \thetheorem."
Preamble
- \theoremstyle{plain}
+ \theoremstyle{plain}
\newtheorem{criterion}[thm]{Criterion}
EndPreamble
-End
+End
+
+Style Criterion*
+ CopyStyle Theorem*
+ LatexName criterion*
+ LabelString "Criterion."
+ Preamble
+ \theoremstyle{plain}
+ \newtheorem*{criterion*}{Criterion}
+ EndPreamble
+End
Style Algorithm
CopyStyle Theorem
+ DependsOn Theorem
LatexName algorithm
- LabelString "Algorithm @Section@.\arabic{theorem}."
+ LabelString "Algorithm \thetheorem."
Preamble
- \theoremstyle{plain}
+ \theoremstyle{plain}
\newtheorem{algorithm}[thm]{Algorithm}
EndPreamble
-End
+End
+
+
+Style Algorithm*
+ CopyStyle Theorem*
+ LatexName algorithm*
+ LabelString "Algorithm."
+ Preamble
+ \theoremstyle{plain}
+ \newtheorem*{algorithm*}{Algorithm}
+ EndPreamble
+End
Style Fact
CopyStyle Theorem
+ DependsOn Theorem
LatexName fact
- LabelString "Fact @Section@.\arabic{theorem}."
+ LabelString "Fact \thetheorem."
Preamble
- \theoremstyle{plain}
- \newtheorem{fact}[thm]{Fact}
+ \theoremstyle{plain}
+ \newtheorem{fact}[thm]{Fact}
EndPreamble
-End
+End
Style Fact*
- CopyStyle Theorem
+ CopyStyle Theorem*
LatexName fact*
LabelString "Fact."
Preamble
- \theoremstyle{plain}
- \newtheorem*{fact*}{Fact}
+ \theoremstyle{plain}
+ \newtheorem*{fact*}{Fact}
EndPreamble
-End
+End
Style Axiom
CopyStyle Theorem
+ DependsOn Theorem
LatexName ax
- LabelString "Axiom @Section@.\arabic{theorem}."
+ LabelString "Axiom \thetheorem."
Preamble
- \theoremstyle{plain}
- \newtheorem{ax}[thm]{Axiom}
+ \theoremstyle{plain}
+ \newtheorem{ax}[thm]{Axiom}
EndPreamble
-End
+End
+
+
+Style Axiom*
+ CopyStyle Theorem*
+ LatexName ax*
+ LabelString "Axiom."
+ Preamble
+ \theoremstyle{plain}
+ \newtheorem*{ax*}{Axiom}
+ EndPreamble
+End
Style Definition
CopyStyle Theorem
+ DependsOn Theorem
LatexName defn
- LabelString "Definition @Section@.\arabic{theorem}."
+ LabelString "Definition \thetheorem."
Font
Shape Up
EndFont
\theoremstyle{definition}
\newtheorem{defn}[thm]{Definition}
EndPreamble
-End
+End
Style Definition*
CopyStyle Definition
LatexName defn*
+ LabelType Static
LabelString "Definition."
Preamble
\theoremstyle{definition}
\newtheorem*{defn*}{Definition}
EndPreamble
-End
+End
Style Example
CopyStyle Definition
LatexName example
- LabelString "Example @Section@.\arabic{theorem}."
+ LabelString "Example \thetheorem."
Preamble
\theoremstyle{definition}
\newtheorem{example}[thm]{Example}
EndPreamble
-End
+End
Style Example*
\theoremstyle{definition}
\newtheorem*{example*}{Example}
EndPreamble
-End
+End
Style Condition
CopyStyle Definition
LatexName condition
- LabelString "Condition @Section@.\arabic{theorem}."
+ LabelString "Condition \thetheorem."
Preamble
\theoremstyle{definition}
\newtheorem{condition}[thm]{Condition}
EndPreamble
-End
+End
Style Condition*
\theoremstyle{definition}
\newtheorem*{condition*}{Condition}
EndPreamble
-End
+End
Style Problem
CopyStyle Definition
LatexName problem
- LabelString "Problem @Section@.\arabic{theorem}."
+ LabelString "Problem \thetheorem."
Preamble
\theoremstyle{definition}
\newtheorem{problem}[thm]{Problem}
EndPreamble
-End
+End
Style Problem*
\theoremstyle{definition}
\newtheorem*{problem*}{Problem}
EndPreamble
-End
+End
Style Exercise
CopyStyle Definition
LatexName xca
- LabelString "Exercise @Section@.\arabic{theorem}."
+ LabelString "Exercise \thetheorem."
Preamble
\theoremstyle{definition}
- %%Delete [section] for sequential numbering
- \newtheorem{xca}[section]{Exercise}
+ \newtheorem{xca}[thm]{Exercise}
EndPreamble
-End
+End
Style Exercise*
CopyStyle Definition*
- LatexName xca
+ LatexName xca*
LabelString "Exercise."
Preamble
\theoremstyle{definition}
\newtheorem*{xca*}{Exercise}
EndPreamble
-End
+End
Style Remark
CopyStyle Theorem
+ DependsOn Theorem
LatexName rem
- LabelString "Remark @Section@.\arabic{theorem}."
+ LabelString "Remark \thetheorem."
Font
Shape Up
Size Normal
\theoremstyle{remark}
\newtheorem{rem}[thm]{Remark}
EndPreamble
-End
+End
Style Remark*
CopyStyle Remark
LatexName rem*
+ LabelType Static
LabelString "Remark."
- LabelCounter ""
Preamble
\theoremstyle{remark}
\newtheorem*{rem*}{Remark}
EndPreamble
-End
+End
Style Claim
CopyStyle Remark
LatexName claim
- LabelString "Claim @Section@.\arabic{theorem}."
+ LabelString "Claim \thetheorem."
Preamble
- \theoremstyle{remark}
+ \theoremstyle{remark}
\newtheorem{claim}[thm]{Claim}
EndPreamble
-End
+End
Style Claim*
LatexName claim*
LabelString "Claim."
Preamble
- \theoremstyle{remark}
+ \theoremstyle{remark}
\newtheorem*{claim*}{Claim}
EndPreamble
-End
+End
Style Note
CopyStyle Remark
LatexName note
- LabelString "Note @Section@.\arabic{theorem}."
+ LabelString "Note \thetheorem."
Preamble
- \theoremstyle{remark}
- \newtheorem{note}[thm]{Note}
+ \theoremstyle{remark}
+ \newtheorem{note}[thm]{Note}
EndPreamble
-End
+End
Style Note*
LatexName note*
LabelString "Note."
Preamble
- \theoremstyle{remark}
- \newtheorem*{note*}{Note}
+ \theoremstyle{remark}
+ \newtheorem*{note*}{Note}
EndPreamble
-End
+End
Style Notation
CopyStyle Remark
LatexName notation
- LabelString "Notation @Section@.\arabic{theorem}."
+ LabelString "Notation \thetheorem."
Preamble
- \theoremstyle{remark}
- \newtheorem{notation}[thm]{Notation}
+ \theoremstyle{remark}
+ \newtheorem{notation}[thm]{Notation}
EndPreamble
-End
+End
Style Notation*
LabelString "Notation."
Preamble
\theoremstyle{remark}
- \newtheorem*{notation*}[thm]{Notation}
+ \newtheorem*{notation*}{Notation}
EndPreamble
-End
+End
Style Summary
CopyStyle Remark
LatexName summary
- LabelString "Summary @Section@.\arabic{theorem}."
+ LabelString "Summary \thetheorem."
Preamble
- \theoremstyle{remark}
- \newtheorem{summary}[thm]{Summary}
+ \theoremstyle{remark}
+ \newtheorem{summary}[thm]{Summary}
EndPreamble
-End
+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 @Section@.\arabic{theorem}."
+ LabelString "Acknowledgement \thetheorem."
Preamble
- \theoremstyle{remark}
- \newtheorem{acknowledgement}[thm]{Acknowledgement}
+ \theoremstyle{remark}
+ \newtheorem{acknowledgement}[thm]{Acknowledgement}
EndPreamble
-End
+End
Style Acknowledgement*
LatexName acknowledgement*
LabelString "Acknowledgement."
Preamble
- \theoremstyle{remark}
- \newtheorem*{acknowledgement*}{Acknowledgement}
- EndPreamble
-End
-
-
-Style Case
- CopyStyle Remark
- LatexName case
- LabelString "Case @Section@.\arabic{theorem}."
- Preamble
- \theoremstyle{remark}
- \newtheorem{case}{Case} %%Numbering of Cases not keyed to sections
+ \theoremstyle{remark}
+ \newtheorem*{acknowledgement*}{Acknowledgement}
EndPreamble
-End
+End
Style Conclusion
CopyStyle Remark
LatexName conclusion
- LabelString "Conclusion @Section@.\arabic{theorem}."
+ LabelString "Conclusion \thetheorem."
Preamble
- \theoremstyle{remark}
- \newtheorem{conclusion}[thm]{Conclusion}
+ \theoremstyle{remark}
+ \newtheorem{conclusion}[thm]{Conclusion}
EndPreamble
-End
+End
Style Conclusion*
LatexName conclusion*
LabelString "Conclusion."
Preamble
- \theoremstyle{remark}
- \newtheorem*{conclusion*}{Conclusion}
+ \theoremstyle{remark}
+ \newtheorem*{conclusion*}{Conclusion}
+ EndPreamble
+End
+
+
+Style Assumption
+ CopyStyle Theorem
+ DependsOn Theorem
+ LatexName assumption
+ LabelString "Assumption \thetheorem."
+ Preamble
+ \theoremstyle{plain}
+ \newtheorem{assumption}[thm]{Assumption}
EndPreamble
-End
+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
projects / lyx.git / blobdiff