# 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>
# - Note
-Format 41
+Format 82
+OutlinerName thm "Definitions & Theorems"
Counter theorem
+ GuiName Theorem
End
Style Theorem
- Category Theorem
+ Category Reasoning
Margin First_Dynamic
LatexType Environment
LatexName theorem
NextNoIndent 1
+ AddToToc thm
+ IsTocCaption 1
Argument 1
- LabelString "Alternative Theorem String"
- Tooltip "Alternative theorem string"
+ LabelString "Name/Title"
+ Tooltip "Alternative optional name or title"
+ IsTocCaption 1
EndArgument
LabelSep xx
ParIndent MMM
ParSep 0.3
Align Block
AlignPossible Left
- LabelType Counter
+ LabelType Static
LabelCounter theorem
LabelString "Theorem \thetheorem."
Font
Counter corollary
+ GuiName Corollary
End
Style Corollary
CopyStyle Theorem
Counter lemma
+ GuiName Lemma
End
Style Lemma
CopyStyle Theorem
Counter proposition
+ GuiName Proposition
End
Style Proposition
CopyStyle Theorem
Counter prop
+ GuiName Prop(osition)
End
Style Prop
CopyStyle Theorem
Counter conjecture
+ GuiName Conjecture
End
Style Conjecture
CopyStyle Theorem
Counter fact
+ GuiName Fact
End
Style Fact
CopyStyle Theorem
Counter definition
+ GuiName Definition
End
Style Definition
CopyStyle Theorem
Counter example
+ GuiName Example
End
Style Example
CopyStyle Conjecture
Counter problem
+ GuiName Problem
End
Style Problem
CopyStyle Definition
Counter prob
+ GuiName Prob(lem)
Within chapter
End
# Prob does not copy a style to avoid preamble code
LatexType Environment
LatexName prob
Margin First_Dynamic
- LabelType Counter
+ LabelType Static
LabelCounter prob
LabelString "\theprob."
RefPrefix pro
LabelFont
Series Bold
EndFont
+ AddToToc thm
+ IsTocCaption true
End
Counter solution
+ GuiName Solution
End
Style Solution
CopyStyle Problem
Mandatory 1
LabelString "Label of Problem"
Tooltip "Label of the corresponding problem"
+ IsTocCaption true
EndArgument
End
Counter exercise
+ GuiName Exercise
End
Style Exercise
CopyStyle Definition
Counter remark
+ GuiName Remark
End
Style Remark
CopyStyle Conjecture
Counter case
+ GuiName Case
End
Style Case
CopyStyle Remark
Counter property
+ GuiName Property
End
Style Property
CopyStyle Claim
Counter question
+ GuiName Question
End
Style Question
CopyStyle Claim
Counter note
+ GuiName Note
End
Style Note
CopyStyle Claim