Format 35
-Columns 2
-Sides 1
-PageStyle Plain
+PageStyle Plain
Style Standard
- Margin Static
- LatexType Paragraph
- LatexName dummy
- ParIndent MM
- ParSkip 0.4
- Align Block
- AlignPossible Block, Left, Right, Center
- LabelType No_Label
+ Margin Static
+ LatexType Paragraph
+ LatexName dummy
+ ParIndent MM
+ ParSkip 0.4
+ Align Block
+ AlignPossible Block, Left, Right, Center
+ LabelType No_Label
End
-
+Input stdcounters.inc
+Input stdfloats.inc
+Input stdlists.inc
Input stdinsets.inc
Input stdsections.inc
Input stdstarsections.inc
Input stdlayouts.inc
-Input stdlists.inc
-Input stdfloats.inc
-Input stdcounters.inc
Input stdtitle.inc
-
-
-
Input numreport.inc
+ProvidesModule theorems-std
+Input theorems-without-preamble.inc
+NoStyle Fact
+NoStyle Prop
+
NoStyle Subparagraph
NoCounter subparagraph
LabelString "--- Back Matter ---"
End
-
-
Style Part
Margin Static
Align Right
HTMLTag h1
End
-
Style Chapter
Align Left
End
TocLevel 4
End
-
Style Part*
Margin Static
Align Right
End
-
Style Chapter*
Align Left
End
-
Style Section*
Font
Series Bold
EndFont
End
-
Style Subsection*
Font
Series Bold
LatexName subruninhead
End
-
Style Extrachap
CopyStyle Chapter*
LatexName Extrachap
LatexName extrachap
End
-
Style Title
Align Left
AlignPossible Block, Center, Left, Right, Center
EndFont
End
-
Style Subtitle
CopyStyle Title
LatexName subtitle
EndFont
End
-
Style Author
NextNoIndent 1
Align Left
EndFont
End
-
Style Institute
Category FrontMatter
LatexType Command
Align Left
LatexType Command
LatexName toctitle
- LeftMargin "TOC title:xxx"
+ LeftMargin xxx
TopSep 0.4
- BottomSep 0.4
+ BottomSep 0.4
LabelType Static
- LabelSep xxx
+ LabelSep x
LabelString "TOC Title:"
LabelFont
Family Typewriter
Style TOC_Author
CopyStyle TOC_Title
LatexName tocauthor
- LeftMargin "TOC Author:xxx"
LabelString "TOC Author:"
End
Style Running_Title
CopyStyle TOC_Title
LatexName titlerunning
- LeftMargin "Running Title:xxx"
+ InTitle 1
LabelString "Running Title:"
End
Style Running_Author
CopyStyle Running_Title
LatexName authorrunning
- LeftMargin "Running Author:xxx"
LabelString "Running Author:"
End
Style Author_Running
End
Style Abstract
- Margin First_Dynamic
- LatexType Command
- LatexName abstract
- LabelType Static
- LabelString "Abstract."
+ Category FrontMatter
+ Margin First_Dynamic
+ LatexType Environment
+ LatexName abstract
+ LabelType Static
+ LabelString "Abstract."
LabelFont
- Series Bold
+ Series Bold
EndFont
- NextNoIndent 0
- ParIndent MM
- LabelSep xx
- ItemSep 0
- TopSep 0.7
- BottomSep 0.7
- ParSep 0
- Align Block
- AlignPossible Block, Left
+ NextNoIndent 0
+ ParIndent MM
+ LabelSep xx
+ ItemSep 0
+ TopSep 0.7
+ BottomSep 0.7
+ ParSep 0
+ Align Block
+ AlignPossible Block, Left
End
Style Abstract*
- CopyStyle Abstract
- LatexName abstract*
- LabelString "Abstract* (not printed)."
+ CopyStyle Abstract
+ LatexName abstract*
+ LabelString "Abstract* (not printed)."
LabelFont
- Color Blue
+ Color Blue
EndFont
TextFont
Color Blue
EndFont
End
-
Style Keywords
Margin First_Dynamic
LatexType Command
EndFont
End
-
-
Style Dedication
Category FrontMatter
Margin Static
KeepEmpty 1
OptionalArgs 0
InTitle 0
- Margin Static
- LeftMargin "PPrreeffaaccee:xxx"
- TopSep 4
- BottomSep 0.8
+ Margin First_Dynamic
+ TopSep 4
+ BottomSep 0.8
LabelType Static
LabelString "Preface:"
- LabelSep xxx
+ LabelSep xx
Align Left
Preamble
\newcommand{\svmultpreface}[1]{\ifthenelse{\equal{#1}{}}{\preface}{\preface[#1]}}
Style Acknowledgement
+ Category BackMatter
Margin First_Dynamic
LatexType Environment
LatexName acknowledgement
EndFont
End
-Style Case
- LatexType Environment
- Margin First_Dynamic
- LatexName case
- LabelString "Case #."
- Category MainText
- NextNoIndent 1
- ParIndent MM
- LabelSep xx
- ItemSep 0
- TopSep 0.5
- BottomSep 0.5
- ParSep 0
- Align Block
- AlignPossible Block, Left
- LabelType Static
- LabelFont
- Shape Italic
- EndFont
- RefPrefix cas
-End
-
-
-Style Claim
- CopyStyle Case
- LabelString "Claim."
- LatexName claim
-End
-
-
-Style Conjecture
- CopyStyle Claim
- LatexName conjecture
- LabelString "Conjecture #."
- RefPrefix con
-End
-
-
-Style Corollary
- CopyStyle Claim
- LatexName corollary
- LabelString "Corollary #."
- Font
- Shape Italic
- EndFont
- LabelFont
- Shape Up
- Series Bold
- EndFont
-End
-
-
-Style Definition
- CopyStyle Claim
- LatexName definition
- LabelString "Definition #."
- LabelFont
- Shape Up
- Series Bold
- EndFont
- RefPrefix def
-End
-
-
-Style Example
- CopyStyle Claim
- LatexName example
- LabelString "Example #."
- RefPrefix exa
-End
-
-Style Lemma
- CopyStyle Corollary
- LatexName lemma
- LabelString "Lemma #."
-End
-
-
-Style Note
- CopyStyle Claim
- LatexName note
- LabelString "Note #."
- RefPrefix note
-End
-
-
Style Proof
CopyStyle Claim
LatexName proof
- LabelString "Proof."
+ LabelString "Proof"
End
Style Proof(QED)
End
-Style Property
- CopyStyle Claim
- LatexName property
- LabelString "Property #."
-End
-
-
-Style Proposition
- CopyStyle Corollary
- LatexName proposition
- LabelString "Proposition #."
-End
-
-
-Style Question
- CopyStyle Claim
- LatexName question
- LabelString "Question #."
- RefPrefix que
-End
-
-
-Style Remark
- CopyStyle Claim
- LatexName remark
- LabelString "Remark #."
- RefPrefix rem
-End
-
-
-Style Theorem
- CopyStyle Corollary
- LatexName theorem
- LabelString "Theorem #."
-End
-
-
-Style Exercise
- CopyStyle Definition
- Category Exercise
- LatexName exercise
- LabelString "Exercise #."
- RefPrefix exerc
-End
-
-Style Prob
- CopyStyle Claim
- Category Exercise
- LatexName prob
- LabelString "#"
- LabelFont
- Series Bold
- Shape Up
- EndFont
- RefPrefix prob
-End
-
-
-# Current implementation of the Style Preface for backwards compatibility
-# In future versions the directive "Reqyired Args 1" should be uncommented
-# so that a required argument is used rather than ERT.
-Style Sol
- CopyStyle Prob
- LatexName sol
- LabelString "#={label}"
-# RequiredArgs 1
- NextNoIndent 0
- RefPrefix sol
-End
-
-Style Problem_(theorem-like)
- CopyStyle Claim
- LabelFont
- Series Bold
- Shape Up
- EndFont
- Category Exercise
- LatexName problem
- LabelString "Problem #."
- RefPrefix prob
-End
-
-Style Solution_(theorem-like)
- CopyStyle Problem_(theorem-like)
- LatexName solution
- LabelString "Solution #."
- RefPrefix sol
- OptionalArgs 1
-End
-
-
Style Description
OptionalArgs 1
End
-
-
-
InsetLayout Flex:Email
Decoration Conglomerate
LyxType custom
End
-InsetLayout Flex:and
+InsetLayout Flex:and
ContentAsLabel 1
CustomPars 0
Decoration Classic
KeepEmpty 1
End
-# InsetLayout Flex:and
+# InsetLayout Flex:and
# CopyStyle Flex:Email
# LatexName and
# LabelString "and"
# EndFont
# KeepEmpty 1
# End
-
-
-
-
-Input theorems-refprefix.inc
-