# This file provides theorem environments without adding preamble code or
-# requiring packages. THis is useful for classes that define their own theorems
+# requiring packages. This is useful for classes that define their own theorems
# like svjour3 or ijmpc.
# Author: Uwe Stöhr <uwestoehr@web.de>
# - Definition
# - Example
# - Problem
+# - Prob
# - Solution
+# - Sol
# - Exercise
# - Remark
# - Claim
# - Property
# - Question
# - Note
-# - Prob
-Format 35
+Format 80
+OutlinerName thm "Definitions & Theorems"
Counter theorem
End
Style Theorem
- Category Theorem
+ Category Reasoning
Margin First_Dynamic
LatexType Environment
LatexName theorem
NextNoIndent 1
- OptionalArgs 1
+ AddToToc thm
+ IsTocCaption 1
+ Argument 1
+ LabelString "Name/Title"
+ Tooltip "Alternative optional name or title"
+ IsTocCaption 1
+ EndArgument
LabelSep xx
ParIndent MMM
ParSkip 0.4
ParSep 0.3
Align Block
AlignPossible Left
- LabelType Counter
+ LabelType Static
LabelCounter theorem
- LabelString "Theorem \thetheorem"
+ LabelString "Theorem \thetheorem."
Font
Shape Italic
Size Normal
Series Bold
EndFont
LangPreamble
- \providecommand{\theoremname}{_(Theorem)}
+ \providecommand{\theoremname}{_(Theorem)}
EndLangPreamble
BabelPreamble
- \addto\captions$$lang{\renewcommand{\theoremname}{_(Theorem)}}
+ \addto\captions$$lang{\renewcommand{\theoremname}{_(Theorem)}}
EndBabelPreamble
End
CopyStyle Theorem
LabelCounter corollary
LatexName corollary
- LabelString "Corollary \thecorollary"
+ LabelString "Corollary \thecorollary."
LangPreamble
- \providecommand{\corollaryname}{_(Corollary)}
+ \providecommand{\corollaryname}{_(Corollary)}
EndLangPreamble
BabelPreamble
- \addto\captions$$lang{\renewcommand{\corollaryname}{_(Corollary)}}
+ \addto\captions$$lang{\renewcommand{\corollaryname}{_(Corollary)}}
EndBabelPreamble
End
CopyStyle Theorem
LabelCounter lemma
LatexName lemma
- LabelString "Lemma \thelemma"
+ LabelString "Lemma \thelemma."
LangPreamble
- \providecommand{\lemmaname}{_(Lemma)}
+ \providecommand{\lemmaname}{_(Lemma)}
EndLangPreamble
BabelPreamble
- \addto\captions$$lang{\renewcommand{\lemmaname}{_(Lemma)}}
+ \addto\captions$$lang{\renewcommand{\lemmaname}{_(Lemma)}}
EndBabelPreamble
End
CopyStyle Theorem
LabelCounter proposition
LatexName proposition
- LabelString "Proposition \theproposition"
+ LabelString "Proposition \theproposition."
LangPreamble
- \providecommand{\propositionname}{_(Proposition)}
+ \providecommand{\propositionname}{_(Proposition)}
EndLangPreamble
BabelPreamble
- \addto\captions$$lang{\renewcommand{\propositionname}{_(Proposition)}}
+ \addto\captions$$lang{\renewcommand{\propositionname}{_(Proposition)}}
EndBabelPreamble
End
LabelFont
Series Medium
EndFont
- LangPreamble
- \providecommand{\propname}{_(Prop)}
- EndLangPreamble
- BabelPreamble
- \addto\captions$$lang{\renewcommand{\propname}{_(Prop)}}
- EndBabelPreamble
End
CopyStyle Theorem
LabelCounter conjecture
LatexName conjecture
- LabelString "Conjecture \theconjecture"
+ LabelString "Conjecture \theconjecture."
Font
Shape Up
EndFont
Shape Italic
EndFont
LangPreamble
- \providecommand{\conjecturename}{_(Conjecture)}
+ \providecommand{\conjecturename}{_(Conjecture)}
EndLangPreamble
BabelPreamble
- \addto\captions$$lang{\renewcommand{\conjecturename}{_(Conjecture)}}
+ \addto\captions$$lang{\renewcommand{\conjecturename}{_(Conjecture)}}
EndBabelPreamble
End
LatexName fact
LabelString "Fact \thefact."
LangPreamble
- \providecommand{\factname}{_(Fact)}
+ \providecommand{\factname}{_(Fact)}
EndLangPreamble
BabelPreamble
- \addto\captions$$lang{\renewcommand{\factname}{_(Fact)}}
+ \addto\captions$$lang{\renewcommand{\factname}{_(Fact)}}
EndBabelPreamble
End
CopyStyle Theorem
LabelCounter definition
LatexName definition
- LabelString "Definition \thedefinition"
+ LabelString "Definition \thedefinition."
RefPrefix def
Font
Shape Up
Series Bold
EndFont
LangPreamble
- \providecommand{\definitionname}{_(Definition)}
+ \providecommand{\definitionname}{_(Definition)}
EndLangPreamble
BabelPreamble
- \addto\captions$$lang{\renewcommand{\definitionname}{_(Definition)}}
+ \addto\captions$$lang{\renewcommand{\definitionname}{_(Definition)}}
EndBabelPreamble
End
CopyStyle Conjecture
LabelCounter example
LatexName example
- LabelString "Example \theexample"
+ LabelString "Example \theexample."
RefPrefix exa
LangPreamble
- \providecommand{\examplename}{_(Example)}
+ \providecommand{\examplename}{_(Example)}
EndLangPreamble
BabelPreamble
- \addto\captions$$lang{\renewcommand{\examplename}{_(Example)}}
+ \addto\captions$$lang{\renewcommand{\examplename}{_(Example)}}
EndBabelPreamble
End
Category Exercise
LabelCounter problem
LatexName problem
- LabelString "Problem \theproblem"
+ LabelString "Problem \theproblem."
RefPrefix prob
- OptionalArgs 1
- RequiredArgs 1
LangPreamble
- \providecommand{\problemname}{_(Problem)}
+ \providecommand{\problemname}{_(Problem)}
EndLangPreamble
BabelPreamble
- \addto\captions$$lang{\renewcommand{\problemname}{_(Problem)}}
+ \addto\captions$$lang{\renewcommand{\problemname}{_(Problem)}}
EndBabelPreamble
End
+Counter prob
+ Within chapter
+End
+# Prob does not copy a style to avoid preamble code
+Style Prob
+ Category Exercise
+ LatexType Environment
+ LatexName prob
+ Margin First_Dynamic
+ LabelType Static
+ LabelCounter prob
+ LabelString "\theprob."
+ RefPrefix pro
+ NextNoIndent 1
+ ResetArgs 1
+ LabelSep xx
+ ParIndent MMM
+ ParSkip 0.4
+ ItemSep 0.2
+ TopSep 0.7
+ BottomSep 0.7
+ ParSep 0.3
+ Align Block
+ AlignPossible Left
+ LabelFont
+ Series Bold
+ EndFont
+ AddToToc thm
+ IsTocCaption true
+End
+
+
Counter solution
End
Style Solution
CopyStyle Problem
LabelCounter solution
LatexName solution
- LabelString "Solution \thesolution"
- RefPrefix sol
+ LabelString "Solution \thesolution."
+ RefPrefix solu
LangPreamble
- \providecommand{\solutionname}{_(Solution)}
+ \providecommand{\solutionname}{_(Solution)}
EndLangPreamble
BabelPreamble
- \addto\captions$$lang{\renewcommand{\solutionname}{_(Solution)}}
+ \addto\captions$$lang{\renewcommand{\solutionname}{_(Solution)}}
EndBabelPreamble
End
+Style Sol
+ CopyStyle Prob
+ LatexName sol
+ LabelType Static
+ LabelString "# [number of Prob]"
+ Argument 1
+ Mandatory 1
+ LabelString "Label of Problem"
+ Tooltip "Label of the corresponding problem"
+ IsTocCaption true
+ EndArgument
+End
+
+
Counter exercise
End
Style Exercise
CopyStyle Definition
LabelCounter exercise
LatexName exercise
- LabelString "Exercise \theexercise"
+ LabelString "Exercise \theexercise."
RefPrefix exer
LangPreamble
- \providecommand{\exercisename}{_(Exercise)}
+ \providecommand{\exercisename}{_(Exercise)}
EndLangPreamble
BabelPreamble
- \addto\captions$$lang{\renewcommand{\exercisename}{_(Exercise)}}
+ \addto\captions$$lang{\renewcommand{\exercisename}{_(Exercise)}}
EndBabelPreamble
End
CopyStyle Conjecture
LabelCounter remark
LatexName remark
- LabelString "Remark \theremark"
+ LabelString "Remark \theremark."
RefPrefix rem
LangPreamble
- \providecommand{\remarkname}{_(Remark)}
+ \providecommand{\remarkname}{_(Remark)}
EndLangPreamble
BabelPreamble
- \addto\captions$$lang{\renewcommand{\remarkname}{_(Remark)}}
+ \addto\captions$$lang{\renewcommand{\remarkname}{_(Remark)}}
EndBabelPreamble
End
-Style Claim
- CopyStyle Remark
- LatexName claim
- LabelString "Claim "
+Style Claim
+ CopyStyle Remark
+ LatexName claim
+ LabelString "Claim"
LangPreamble
- \providecommand{\claimname}{_(Claim)}
+ \providecommand{\claimname}{_(Claim)}
EndLangPreamble
BabelPreamble
- \addto\captions$$lang{\renewcommand{\claimname}{_(Claim)}}
+ \addto\captions$$lang{\renewcommand{\claimname}{_(Claim)}}
EndBabelPreamble
End
CopyStyle Remark
LabelCounter case
LatexName case
- LabelString "Case \thecase"
+ LabelString "Case \thecase."
RefPrefix case
LangPreamble
- \providecommand{\casename}{_(Case)}
+ \providecommand{\casename}{_(Case)}
EndLangPreamble
BabelPreamble
- \addto\captions$$lang{\renewcommand{\casename}{_(Case)}}
+ \addto\captions$$lang{\renewcommand{\casename}{_(Case)}}
EndBabelPreamble
End
CopyStyle Claim
LabelCounter property
LatexName property
- LabelString "Property \theproperty"
+ LabelString "Property \theproperty."
RefPrefix prop
LangPreamble
- \providecommand{\propertyname}{_(Property)}
+ \providecommand{\propertyname}{_(Property)}
EndLangPreamble
BabelPreamble
- \addto\captions$$lang{\renewcommand{\propertyname}{_(Property)}}
+ \addto\captions$$lang{\renewcommand{\propertyname}{_(Property)}}
EndBabelPreamble
End
CopyStyle Claim
LabelCounter question
LatexName question
- LabelString "Question \thequestion"
+ LabelString "Question \thequestion."
RefPrefix que
LangPreamble
- \providecommand{\questionname}{_(Question)}
+ \providecommand{\questionname}{_(Question)}
EndLangPreamble
BabelPreamble
- \addto\captions$$lang{\renewcommand{\questionname}{_(Question)}}
+ \addto\captions$$lang{\renewcommand{\questionname}{_(Question)}}
EndBabelPreamble
End
CopyStyle Claim
LabelCounter note
LatexName note
- LabelString "Note \thenote"
+ LabelString "Note \thenote."
RefPrefix note
LangPreamble
- \providecommand{\notename}{_(Note)}
+ \providecommand{\notename}{_(Note)}
EndLangPreamble
BabelPreamble
- \addto\captions$$lang{\renewcommand{\notename}{_(Note)}}
+ \addto\captions$$lang{\renewcommand{\notename}{_(Note)}}
EndBabelPreamble
End
-
-Counter prob
-End
-Style Prob
- CopyStyle Claim
- LabelCounter prob
- LatexName prob
- LabelString "\theprob"
-End
projects / lyx.git / blobdiff