# - Note
-Format 76
+Format 82
OutlinerName thm "Definitions & Theorems"
Counter theorem
+ GuiName Theorem
End
Style Theorem
Category Reasoning
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
Counter solution
+ GuiName Solution
End
Style Solution
CopyStyle Problem
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