lyx_mirror/lib/layouts/theorems-without-preamble.inc
2020-12-22 16:53:15 +01:00

478 lines
9.1 KiB
PHP

# This file provides theorem environments without adding preamble code or
# requiring packages. This is useful for classes that define their own theorems
# like svjour3 or ijmpc.
# Author: Uwe Stöhr <uwestoehr@web.de>
# The environnements defined are :
# - Theorem
# - Corollary
# - Lemma
# - Proposition
# - Prop
# - Conjecture
# - Fact
# - Definition
# - Example
# - Problem
# - Prob
# - Solution
# - Sol
# - Exercise
# - Remark
# - Claim
# - Case (defined without a counter)
# - Property
# - Question
# - Note
Format 90
OutlinerName thm "Definitions & Theorems"
Counter theorem
GuiName Theorem
LaTeXName thm
End
Style Theorem
Category Reasoning
Margin First_Dynamic
LatexType Environment
LatexName theorem
NextNoIndent 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
ItemSep 0.2
TopSep 0.7
BottomSep 0.7
ParSep 0.3
Align Block
AlignPossible Left
LabelType Static
LabelCounter theorem
LabelString "Theorem \thetheorem."
Font
Shape Italic
Size Normal
EndFont
LabelFont
Shape Up
Series Bold
EndFont
LangPreamble
\providecommand{\theoremname}{_(Theorem)}
EndLangPreamble
BabelPreamble
\addto\captions$$lang{\renewcommand{\theoremname}{_(Theorem)}}
EndBabelPreamble
DocBookTag para
DocBookAttr role='theorem'
End
Counter corollary
GuiName Corollary
End
Style Corollary
CopyStyle Theorem
LabelCounter corollary
LatexName corollary
LabelString "Corollary \thecorollary."
LangPreamble
\providecommand{\corollaryname}{_(Corollary)}
EndLangPreamble
BabelPreamble
\addto\captions$$lang{\renewcommand{\corollaryname}{_(Corollary)}}
EndBabelPreamble
DocBookTag para
DocBookAttr role='corollary'
End
Counter lemma
GuiName Lemma
End
Style Lemma
CopyStyle Theorem
LabelCounter lemma
LatexName lemma
LabelString "Lemma \thelemma."
LangPreamble
\providecommand{\lemmaname}{_(Lemma)}
EndLangPreamble
BabelPreamble
\addto\captions$$lang{\renewcommand{\lemmaname}{_(Lemma)}}
EndBabelPreamble
DocBookTag para
DocBookAttr role='lemma'
End
Counter proposition
GuiName Proposition
End
Style Proposition
CopyStyle Theorem
LabelCounter proposition
LatexName proposition
LabelString "Proposition \theproposition."
LangPreamble
\providecommand{\propositionname}{_(Proposition)}
EndLangPreamble
BabelPreamble
\addto\captions$$lang{\renewcommand{\propositionname}{_(Proposition)}}
EndBabelPreamble
DocBookTag para
DocBookAttr role='proposition'
End
Counter prop
GuiName Prop(osition)
End
Style Prop
CopyStyle Theorem
LabelCounter prop
LatexName prop
LabelString "Prop \theprop."
Font
Shape Up
EndFont
LabelFont
Series Medium
EndFont
DocBookTag para
DocBookAttr role='proposition'
End
Counter conjecture
GuiName Conjecture
End
Style Conjecture
CopyStyle Theorem
LabelCounter conjecture
LatexName conjecture
LabelString "Conjecture \theconjecture."
Font
Shape Up
EndFont
LabelFont
Series Medium
Shape Italic
EndFont
LangPreamble
\providecommand{\conjecturename}{_(Conjecture)}
EndLangPreamble
BabelPreamble
\addto\captions$$lang{\renewcommand{\conjecturename}{_(Conjecture)}}
EndBabelPreamble
DocBookTag para
DocBookAttr role='conjecture'
End
Counter fact
GuiName Fact
End
Style Fact
CopyStyle Theorem
LabelCounter fact
LatexName fact
LabelString "Fact \thefact."
LangPreamble
\providecommand{\factname}{_(Fact)}
EndLangPreamble
BabelPreamble
\addto\captions$$lang{\renewcommand{\factname}{_(Fact)}}
EndBabelPreamble
DocBookTag para
DocBookAttr role='fact'
End
Counter definition
GuiName Definition
End
Style Definition
CopyStyle Theorem
LabelCounter definition
LatexName definition
LabelString "Definition \thedefinition."
RefPrefix def
Font
Shape Up
EndFont
LabelFont
Shape Up
Series Bold
EndFont
LangPreamble
\providecommand{\definitionname}{_(Definition)}
EndLangPreamble
BabelPreamble
\addto\captions$$lang{\renewcommand{\definitionname}{_(Definition)}}
EndBabelPreamble
DocBookTag para
DocBookAttr role='definition'
End
Counter example
GuiName Example
End
Style Example
CopyStyle Conjecture
LabelCounter example
LatexName example
LabelString "Example \theexample."
RefPrefix exa
LangPreamble
\providecommand{\examplename}{_(Example)}
EndLangPreamble
BabelPreamble
\addto\captions$$lang{\renewcommand{\examplename}{_(Example)}}
EndBabelPreamble
DocBookWrapperTag informalexample
DocBookTag para
DocBookAttr ""
End
Counter problem
GuiName Problem
End
Style Problem
CopyStyle Definition
Category Exercise
LabelCounter problem
LatexName problem
LabelString "Problem \theproblem."
RefPrefix prob
LangPreamble
\providecommand{\problemname}{_(Problem)}
EndLangPreamble
BabelPreamble
\addto\captions$$lang{\renewcommand{\problemname}{_(Problem)}}
EndBabelPreamble
DocBookTag para
DocBookAttr role='problem'
End
Counter prob
GuiName Prob(lem)
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
DocBookTag para
DocBookAttr role='problem'
End
Counter solution
GuiName Solution
End
Style Solution
CopyStyle Problem
LabelCounter solution
LatexName solution
LabelString "Solution \thesolution."
RefPrefix solu
LangPreamble
\providecommand{\solutionname}{_(Solution)}
EndLangPreamble
BabelPreamble
\addto\captions$$lang{\renewcommand{\solutionname}{_(Solution)}}
EndBabelPreamble
DocBookTag para
DocBookAttr role='solution'
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
DocBookTag para
DocBookAttr role='solution'
End
Counter exercise
GuiName Exercise
End
Style Exercise
CopyStyle Definition
LabelCounter exercise
LatexName exercise
LabelString "Exercise \theexercise."
RefPrefix exer
LangPreamble
\providecommand{\exercisename}{_(Exercise)}
EndLangPreamble
BabelPreamble
\addto\captions$$lang{\renewcommand{\exercisename}{_(Exercise)}}
EndBabelPreamble
DocBookTag para
DocBookAttr role='exercise'
End
Counter remark
GuiName Remark
End
Style Remark
CopyStyle Conjecture
LabelCounter remark
LatexName remark
LabelString "Remark \theremark."
RefPrefix rem
LangPreamble
\providecommand{\remarkname}{_(Remark)}
EndLangPreamble
BabelPreamble
\addto\captions$$lang{\renewcommand{\remarkname}{_(Remark)}}
EndBabelPreamble
DocBookTag note
DocBookItemTag para
End
Style Claim
CopyStyle Remark
LatexName claim
LabelString "Claim"
LangPreamble
\providecommand{\claimname}{_(Claim)}
EndLangPreamble
BabelPreamble
\addto\captions$$lang{\renewcommand{\claimname}{_(Claim)}}
EndBabelPreamble
DocBookTag para
DocBookAttr role='claim'
DocBookItemTag ""
End
Counter case
GuiName Case
End
Style Case
CopyStyle Remark
LabelCounter case
LatexName case
LabelString "Case \thecase."
RefPrefix case
LangPreamble
\providecommand{\casename}{_(Case)}
EndLangPreamble
BabelPreamble
\addto\captions$$lang{\renewcommand{\casename}{_(Case)}}
EndBabelPreamble
DocBookTag para
DocBookAttr role='case'
End
Counter property
GuiName Property
End
Style Property
CopyStyle Claim
LabelCounter property
LatexName property
LabelString "Property \theproperty."
RefPrefix prop
LangPreamble
\providecommand{\propertyname}{_(Property)}
EndLangPreamble
BabelPreamble
\addto\captions$$lang{\renewcommand{\propertyname}{_(Property)}}
EndBabelPreamble
DocBookTag para
DocBookAttr role='property'
End
Counter question
GuiName Question
End
Style Question
CopyStyle Claim
LabelCounter question
LatexName question
LabelString "Question \thequestion."
RefPrefix que
LangPreamble
\providecommand{\questionname}{_(Question)}
EndLangPreamble
BabelPreamble
\addto\captions$$lang{\renewcommand{\questionname}{_(Question)}}
EndBabelPreamble
DocBookTag para
DocBookAttr role='question'
End
Counter note
GuiName Note
End
Style Note
CopyStyle Claim
LabelCounter note
LatexName note
LabelString "Note \thenote."
RefPrefix note
LangPreamble
\providecommand{\notename}{_(Note)}
EndLangPreamble
BabelPreamble
\addto\captions$$lang{\renewcommand{\notename}{_(Note)}}
EndBabelPreamble
DocBookTag note
DocBookItemTag para
End