EndPreamble
End
+Counter case
+ GuiName Case
+ PrettyFormat "Case ##"
+End
+
Style Case
CopyStyle Remark
LatexName case
EndPreamble
End
+Counter remark
+ GuiName Remark
+ PrettyFormat "Remark ##"
+End
+
Style Remark
LatexName remark
LabelString "Remark \theremark."
EndPreamble
End
+Counter solution
+ GuiName Solution
+ PrettyFormat "Solution ##"
+End
+
Style Solution
CopyStyle Remark
LatexName solution
EndPreamble
End
+Counter summary
+ GuiName Summary
+ PrettyFormat "Summary ##"
+End
+
Style Summary
LatexName summary
LabelCounter summary
EndPreamble
End
-Counter case
- GuiName Case
-End
-Counter remark
- GuiName Remark
-End
-Counter summary
- GuiName Summary
-End
-Counter solution
- GuiName Solution
-End
Counter theorem
GuiName Theorem
+ RefFormat thm "Theorem \arabic{theorem}"
+ RefFormat cor "Corollary \arabic{theorem}"
+ RefFormat lem "Lemma \arabic{theorem}"
+ RefFormat prop "Lemma \arabic{theorem}"
+ RefFormat conj "Conjecture \arabic{theorem}"
+ RefFormat def "Definition \arabic{theorem}"
+ RefFormat exa "Example \arabic{theorem}"
+ RefFormat prob "Problem \arabic{theorem}"
+ RefFormat exer "Exercise \arabic{theorem}"
+ RefFormat solu "Solution \arabic{theorem}"
+ RefFormat rem "Remark \arabic{theorem}"
+ RefFormat claim "Claim \arabic{theorem}"
+ RefFormat fact "Fact \arabic{theorem}"
+ RefFormat cri "Criterion \arabic{theorem}"
+ RefFormat alg "Algorithm \arabic{theorem}"
End
Input stdcounters.inc
Counter theorem
GuiName Theorem
Within section
+ RefFormat thm "Theorem \arabic{theorem}"
+ RefFormat cor "Corollary \arabic{theorem}"
+ RefFormat lem "Lemma \arabic{theorem}"
+ RefFormat prop "Lemma \arabic{theorem}"
+ RefFormat conj "Conjecture \arabic{theorem}"
+ RefFormat def "Definition \arabic{theorem}"
+ RefFormat exa "Example \arabic{theorem}"
End
Style Theorem
UsesFloatPkg false
ListCommand listofalgorithms
RefPrefix alg
+ PrettyFormat "Algorithm ##"
End
Style Algorithm
IsPredefined true
UsesFloatPkg false
ListCommand listoftables
+ PrettyFormat "Table ##"
End
Float
IsPredefined true
UsesFloatPkg false
ListCommand listoffigures
+ PrettyFormat "Figure ##"
End
Counter act
GuiName "Act Number"
+ PrettyFormat "Act ##"
End
Counter scene
GuiName "Scene Number"
+ PrettyFormat "Scene ##"
End
TitleLatexType Environment
TitleLatexName frontmatter
-Counter summ
- GuiName Summary
-End
-
-
-Counter case
- GuiName Case
-End
-
Style Standard
Category MainText
Counter theorem
GuiName Theorem
+ RefFormat thm "Theorem \arabic{theorem}"
+ RefFormat cor "Corollary \arabic{theorem}"
+ RefFormat lem "Lemma \arabic{theorem}"
+ RefFormat prop "Lemma \arabic{theorem}"
+ RefFormat conj "Conjecture \arabic{theorem}"
+ RefFormat def "Definition \arabic{theorem}"
+ RefFormat exa "Example \arabic{theorem}"
+ RefFormat prob "Problem \arabic{theorem}"
+ RefFormat exer "Exercise \arabic{theorem}"
+ RefFormat solu "Solution \arabic{theorem}"
+ RefFormat rem "Remark \arabic{theorem}"
+ RefFormat claim "Claim \arabic{theorem}"
End
End
+Counter summ
+ GuiName Summary
+ PrettyFormat "Summary ##"
+End
+
Style Summary
CopyStyle Theorem
LatexName summ
DocBookWrapperAttr role='summary'
DocBookTag para
DocBookGenerateTitle true
+ RefPrefix summ
End
+Counter case
+ GuiName Case
+ PrettyFormat "Case ##"
+End
+
Style Case
CopyStyle Theorem
LatexName case
DocBookWrapperAttr role='case'
DocBookTag para
DocBookGenerateTitle true
+ RefPrefix case
End
EndFont
DocBookTag para
DocBookWrapperTag acknowledgements
+ RefPrefix ack
End
GuiName Equation
Within section
LabelString "\thesection.\arabic{equation}"
+ PrettyFormat "(\thesection.\arabic{equation})"
End
Counter theorem
Within section
+ RefFormat thm "Theorem \thesection.\arabic{theorem}"
+ RefFormat cor "Corollary \thesection.\arabic{theorem}"
+ RefFormat lem "Lemma \thesection.\arabic{theorem}"
+ RefFormat claim "Claim \thesection.\arabic{theorem}"
+ RefFormat def "Definition \thesection.\arabic{theorem}"
+ RefFormat rem "Remark \thesection.\arabic{theorem}"
End
Style Theorem
Counter claim
GuiName Claim
Within section
+ PrettyFormat "Claim ##"
End
Style Claim
LabelCounter claim
Counter theorem
GuiName Theorem
Within section
+ PrettyFormat "Theorem ##"
End
Style Theorem
ResetArgs 1
Counter remark
GuiName Remark
Within section
+ PrettyFormat "Remark ##"
End
Style Remark
LabelString "Remark \theremark."
Counter corollary
GuiName Corollary
Within section
+ PrettyFormat "Corollary ##"
End
Style Corollary
LabelString "Corollary \thecorollary."
Counter lemma
GuiName Lemma
Within section
+ PrettyFormat "Lemma ##"
End
Style Lemma
LabelString "Lemma \thelemma."
Counter question
GuiName Question
Within section
+ PrettyFormat "Question ##"
End
Style Question
LabelString "Question \thequestion."
Counter claim
GuiName Claim
Within section
+ PrettyFormat "Claim ##"
End
Style Claim
LabelCounter claim
Counter conjecture
GuiName Conjecture
Within section
+ PrettyFormat "Conjecture ##"
End
Style Conjecture
LabelString "Conjecture \theconjecture."
Counter prop
GuiName Prop(osition)
Within section
+ PrettyFormat "Proposition ##"
End
Counter appendix
GuiName Example
Within chapter
LabelString "(\arabic{example})"
+ PrettyFormat "(\arabic{example})"
End
Counter examplei
GuiName "Numbered Example (Multiline)"
Within chapter
LabelString "(\arabic{examplei})"
+ PrettyFormat "(\arabic{examplei})"
End
Counter subexample
GuiName Subexample
Within examplei
LabelString "\theexamplei (\alph{subexample})"
+ PrettyFormat "\theexamplei (\alph{subexample})"
End
Counter subexamplei
GuiName Subexample
Within examplei
LabelString "\theexamplei (\alph{subexamplei})"
+ PrettyFormat "\theexamplei (\alph{subexamplei})"
End
Counter subexampleii
GuiName Subexample
Within examplei
LabelString "\theexamplei (\alph{subexampleii})"
+ PrettyFormat "\theexamplei (\alph{subexampleii})"
End
Counter subexampleiii
GuiName Subexample
Within examplei
LabelString "\theexamplei (\alph{subexampleiii})"
+ PrettyFormat "\theexamplei (\alph{subexampleiii})"
End
Counter subexampleiv
GuiName Subexample
Within examplei
LabelString "\theexamplei (\alph{subexampleiv})"
+ PrettyFormat "\theexamplei (\alph{subexampleiv})"
End
#
ListName "List of Tableaux"
IsPredefined false
UsesFloatPkg true
+ PrettyFormat "Tableaux ##"
End
Within ""
LabelString "\arabic{chapter}"
LabelStringAppendix "\Alph{chapter}"
+ PrettyFormat "Chapter ##"
End
Counter section
GuiName Section
Within chapter
LabelString ""
+ PrettyFormat "Section ##"
End
Float
Counter footnote
GuiName Footnote
Within chapter
+ PrettyFormat "footnote \arabic{footnote}"
End
UsesFloatPkg false
ListCommand listoftables
RefPrefix tab
+ PrettyFormat "Table ##"
End
UsesFloatPkg false
ListCommand listoffigures
RefPrefix fig
+ PrettyFormat "Figure ##"
End
IsPredefined false
UsesFloatPkg true
RefPrefix alg
+ PrettyFormat "Algorithm ##"
End
###
###
Counter enumi
GuiName "Numbered List (Level 1)"
+ PrettyFormat "(\arabic{enumi})"
End
Counter enumii
GuiName "Numbered List (Level 2)"
Within enumi
+ PrettyFormat "(\arabic{enumii})"
End
Counter enumiii
GuiName "Numbered List (Level 3)"
Within enumii
+ PrettyFormat "(\arabic{enumiii})"
End
Counter enumiv
GuiName "Numbered List (Level 4)"
Within enumiii
+ PrettyFormat "(\arabic{enumiv})"
End
Counter bibitem
IsPredefined false
UsesFloatPkg true
RefPrefix alg
+ PrettyFormat "Algorithm ##"
End
Style plain
Type video
UsesFloatPkg false
+ PrettyFormat "Video ##"
End
IsPredefined true
UsesFloatPkg false
RefPrefix alg
+ PrettyFormat "Algorithm ##"
End
Float
UsesFloatPkg false
ListCommand listoffigures
RefPrefix fig
+ PrettyFormat "Figure ##"
End
Float
UsesFloatPkg false
ListCommand listoftables
RefPrefix tab
+ PrettyFormat "Table ##"
End
InsetLayout "Flex:Giant"
GuiName Equation
Within chapter
LabelString "\thechapter.\arabic{equation}"
+ PrettyFormat "equation \thechapter.\arabic{equation}"
End
# Adapt enumii counter display to KOMA default
Counter enumii
- GuiName "Numbered List (Level 2)"
- Within enumi
LabelString "\alph{enumii})"
End
Counter thanks
GuiName "Footnote (Title)"
- PrettyFormat "Footnote ##"
+ PrettyFormat "Footnote \arabic{footnote}"
LabelString "\fnsymbol{thanks}"
End
UsesFloatPkg false
ListCommand listoftables
RefPrefix tab
+ PrettyFormat "Table ##"
End
UsesFloatPkg false
ListCommand listoffigures
RefPrefix fig
+ PrettyFormat "Figure ##"
End
IsPredefined false
UsesFloatPkg true
RefPrefix alg
+ PrettyFormat "Algorithm ##"
End
Counter theorem
GuiName Theorem
LaTeXName thm
+ RefFormat thm "Theorem \arabic{theorem}"
+ RefFormat cor "Corollary \arabic{theorem}"
+ RefFormat lem "Lemma \arabic{theorem}"
+ RefFormat prop "Lemma \arabic{theorem}"
+ RefFormat conj "Conjecture \arabic{theorem}"
+ RefFormat def "Definition \arabic{theorem}"
+ RefFormat exa "Example \arabic{theorem}"
+ RefFormat prob "Problem \arabic{theorem}"
+ RefFormat exer "Exercise \arabic{theorem}"
+ RefFormat solu "Solution \arabic{theorem}"
+ RefFormat rem "Remark \arabic{theorem}"
+ RefFormat claim "Claim \arabic{theorem}"
+ RefFormat fact "Fact \arabic{theorem}"
+ RefFormat cri "Criterion \arabic{theorem}"
+ RefFormat alg "Algorithm \arabic{theorem}"
End
Input theorems-order.inc
Format 104
Counter casei
- GuiName "Case (Level 1)"
- LabelString "Case \arabic{casei}."
+ GuiName "Case (Level 1)"
+ PrettyFormat "Case \arabic{casei}"
+ LabelString "Case \arabic{casei}."
End
Counter caseii
GuiName "Case (Level 2)"
Within casei
LabelString "Case \roman{caseii}."
+ PrettyFormat "Case \roman{caseii}"
End
Counter caseiii
GuiName "Case (Level 3)"
Within caseii
LabelString "Case \alph{caseiii}."
+ PrettyFormat "Case \alph{caseiii}"
End
Counter caseiv
GuiName "Case (Level 4)"
Within caseiii
+ PrettyForamt "Case \arabic{caseiv}"
LabelString "Case \arabic{caseiv}."
End
GuiName Theorem
Within chapter
LaTeXName thm
+ RefFormat thm "Theorem \thechapter.\arabic{theorem}"
+ RefFormat cor "Corollary \thechapter.\arabic{theorem}"
+ RefFormat lem "Lemma \thechapter.\arabic{theorem}"
+ RefFormat prop "Lemma \thechapter.\arabic{theorem}"
+ RefFormat conj "Conjecture \thechapter.\arabic{theorem}"
+ RefFormat def "Definition \thechapter.\arabic{theorem}"
+ RefFormat exa "Example \thechapter.\arabic{theorem}"
+ RefFormat prob "Problem \thechapter.\arabic{theorem}"
+ RefFormat exer "Exercise \thechapter.\arabic{theorem}"
+ RefFormat solu "Solution \thechapter.\arabic{theorem}"
+ RefFormat rem "Remark \thechapter.\arabic{theorem}"
+ RefFormat claim "Claim \thechapter.\arabic{theorem}"
+ RefFormat fact "Fact \thechapter.\arabic{theorem}"
+ RefFormat cri "Criterion \thechapter.\arabic{theorem}"
+ RefFormat alg "Algorithm \thechapter.\arabic{theorem}"
End
Style Theorem
Counter theorem
GuiName Theorem
LaTeXName thm
+ PrettyFormat "Theorem \arabic{theorem}"
End
Counter corollary
GuiName Corollary
LaTeXName cor
+ PrettyFormat "Corollary \arabic{theorem}"
End
Counter lemma
GuiName Lemma
LaTeXName lem
+ PrettyFormat "Lemma \arabic{theorem}"
End
Counter proposition
GuiName Proposition
LaTeXName prop
+ PrettyFormat "Proposition \arabic{theorem}"
End
Counter conjecture
GuiName Conjecture
+ PrettyFormat "Conjecture \arabic{theorem}"
End
Counter fact
GuiName Fact
+ PrettyFormat "Fact \arabic{theorem}"
End
Counter definition
GuiName Definition
LaTeXName defn
+ PrettyFormat "Definition \arabic{theorem}"
End
Counter example
GuiName Example
+ PrettyFormat "Example \arabic{theorem}"
End
Counter problem
GuiName Problem
+ PrettyFormat "Problem \arabic{theorem}"
End
Counter exercise
GuiName Exercise
LaTeXName xca
+ PrettyFormat "Exercise \arabic{theorem}"
End
Counter solution
GuiName Solution
LaTeXName sol
+ PrettyFormat "Solution \arabic{theorem}"
End
Counter remark
GuiName Remark
LaTeXName rem
+ PrettyFormat "Remark \arabic{theorem}"
End
Counter claim
GuiName Claim
+ PrettyFormat "Claim \arabic{theorem}"
End
Format 104
Counter criterion
GuiName Criterion
+ PrettyFormat "Criterion \arabic{theorem}"
End
Counter algorithm
GuiName Algorithm
LaTeXName lyxalgorithm
+ PrettyFormat "Algorithm \arabic{theorem}"
End
Counter axiom
GuiName Axiom
LaTeXName ax
+ PrettyFormat "Axiom \arabic{theorem}"
End
Counter condition
GuiName Condition
+ PrettyFormat "Condition \arabic{theorem}"
End
Counter note
GuiName Note
+ PrettyFormat "Note \arabic{theorem}"
End
Counter notation
GuiName Notation
+ PrettyFormat "Notation \arabic{theorem}"
End
Counter summary
GuiName Summary
+ PrettyFormat "Summary \arabic{theorem}"
End
Counter conclusion
GuiName Conclusion
+ PrettyFormat "Conclusion \arabic{theorem}"
End
Counter assumption
GuiName Assumption
+ PrettyFormat "Assumption \arabic{theorem}"
End
Counter question
GuiName Question
+ PrettyFormat "Question \arabic{theorem}"
End
GuiName Theorem
Within section
LaTeXName thm
+ RefFormat thm "Theorem \thesection.\arabic{theorem}"
+ RefFormat cor "Corollary \thesection.\arabic{theorem}"
+ RefFormat lem "Lemma \thesection.\arabic{theorem}"
+ RefFormat prop "Lemma \thesection.\arabic{theorem}"
+ RefFormat conj "Conjecture \thesection.\arabic{theorem}"
+ RefFormat def "Definition \thesection.\arabic{theorem}"
+ RefFormat exa "Example \thesection.\arabic{theorem}"
+ RefFormat prob "Problem \thesection.\arabic{theorem}"
+ RefFormat exer "Exercise \thesection.\arabic{theorem}"
+ RefFormat solu "Solution \thesection.\arabic{theorem}"
+ RefFormat rem "Remark \thesection.\arabic{theorem}"
+ RefFormat claim "Claim \thesection.\arabic{theorem}"
+ RefFormat fact "Fact \thesection.\arabic{theorem}"
+ RefFormat cri "Criterion \thesection.\arabic{theorem}"
+ RefFormat alg "Algorithm \thesection.\arabic{theorem}"
End
Style Theorem
Counter theorem
GuiName Theorem
LaTeXName thm
+ RefFormat thm "Theorem \arabic{theorem}"
+ RefFormat cor "Corollary \arabic{theorem}"
+ RefFormat lem "Lemma \arabic{theorem}"
+ RefFormat prop "Lemma \arabic{theorem}"
+ RefFormat conj "Conjecture \arabic{theorem}"
+ RefFormat fact "Fact \arabic{theorem}"
+ RefFormat def "Definition \arabic{theorem}"
+ RefFormat exa "Example \arabic{theorem}"
+ RefFormat prob "Problem \arabic{theorem}"
+ RefFormat exer "Exercise \arabic{theorem}"
+ RefFormat solu "Solution \arabic{theorem}"
+ RefFormat rem "Remark \arabic{theorem}"
+ RefFormat claim "Claim \arabic{theorem}"
End
Input theorems.inc
Counter corollary
GuiName Corollary
+ PrettyFormat "Corollary ##"
End
Style Corollary
CopyStyle Theorem
Counter lemma
GuiName Lemma
+ PrettyFormat "Lemma ##"
End
Style Lemma
CopyStyle Theorem
Counter proposition
GuiName Proposition
+ PrettyFormat "Proposition ##"
End
Style Proposition
CopyStyle Theorem
Counter prop
GuiName Prop(osition)
+ PrettyFormat "Proposition ##"
End
Style Prop
CopyStyle Theorem
Counter conjecture
GuiName Conjecture
+ PrettyFormat "Conjecture ##"
End
Style Conjecture
CopyStyle Theorem
Counter fact
GuiName Fact
+ PrettyFormat "Fact ##"
End
Style Fact
CopyStyle Theorem
Counter definition
GuiName Definition
+ PrettyFormat "Definition ##"
End
Style Definition
CopyStyle Theorem
Counter example
GuiName Example
+ PrettyFormat "Example ##"
End
Style Example
CopyStyle Conjecture
Counter problem
GuiName Problem
+ PrettyFormat "Problem ##"
End
Style Problem
CopyStyle Definition
Counter prob
GuiName Prob(lem)
- Within chapter
+ Within chapter
+ PrettyFormat "Problem ##"
End
# Prob does not copy a style to avoid preamble code
Style Prob
Counter solution
GuiName Solution
+ PrettyFormat "Solution ##"
End
Style Solution
CopyStyle Problem
Counter exercise
GuiName Exercise
+ PrettyFormat "Exercise ##"
End
Style Exercise
CopyStyle Definition
Counter remark
GuiName Remark
+ PrettyFormat "Remark ##"
End
Style Remark
CopyStyle Conjecture
Counter case
GuiName Case
+ PrettyFormat "Case ##"
End
Style Case
CopyStyle Remark
Counter property
GuiName Property
+ PrettyFormat "Property ##"
End
Style Property
CopyStyle Claim
Counter question
GuiName Question
+ PrettyFormat "Question ##"
End
Style Question
CopyStyle Claim
Counter note
GuiName Note
+ PrettyFormat "Note ##"
End
Style Note
CopyStyle Claim
# this steps the counters
Counter marginfigure
GuiName "Margin Figure"
+ PrettyFormat "Margin Figure ##"
End
Counter margintable
GuiName "Margin Table"
+ PrettyFormat "Margin Table ##"
End
# define the floats