# - Note
-Format 40
+Format 45
Counter theorem
End
Style Theorem
- Category Theorem
+ Category Reasoning
Margin First_Dynamic
LatexType Environment
LatexName theorem
NextNoIndent 1
Argument 1
- LabelString "Alternative Theorem String"
- Tooltip "Alternative theorem string"
+ LabelString "Name/Title"
+ Tooltip "Alternative optional name or title"
EndArgument
LabelSep xx
ParIndent MMM
ParSep 0.3
Align Block
AlignPossible Left
- LabelType Counter
+ LabelType Static
LabelCounter theorem
LabelString "Theorem \thetheorem."
Font
Series Bold
EndFont
LangPreamble
- \providecommand{\theoremname}{_(Theorem)}
+ \providecommand{\theoremname}{_(Theorem)}
EndLangPreamble
BabelPreamble
- \addto\captions$$lang{\renewcommand{\theoremname}{_(Theorem)}}
+ \addto\captions$$lang{\renewcommand{\theoremname}{_(Theorem)}}
EndBabelPreamble
End
LatexName corollary
LabelString "Corollary \thecorollary."
LangPreamble
- \providecommand{\corollaryname}{_(Corollary)}
+ \providecommand{\corollaryname}{_(Corollary)}
EndLangPreamble
BabelPreamble
- \addto\captions$$lang{\renewcommand{\corollaryname}{_(Corollary)}}
+ \addto\captions$$lang{\renewcommand{\corollaryname}{_(Corollary)}}
EndBabelPreamble
End
LatexName lemma
LabelString "Lemma \thelemma."
LangPreamble
- \providecommand{\lemmaname}{_(Lemma)}
+ \providecommand{\lemmaname}{_(Lemma)}
EndLangPreamble
BabelPreamble
- \addto\captions$$lang{\renewcommand{\lemmaname}{_(Lemma)}}
+ \addto\captions$$lang{\renewcommand{\lemmaname}{_(Lemma)}}
EndBabelPreamble
End
LatexName proposition
LabelString "Proposition \theproposition."
LangPreamble
- \providecommand{\propositionname}{_(Proposition)}
+ \providecommand{\propositionname}{_(Proposition)}
EndLangPreamble
BabelPreamble
- \addto\captions$$lang{\renewcommand{\propositionname}{_(Proposition)}}
+ \addto\captions$$lang{\renewcommand{\propositionname}{_(Proposition)}}
EndBabelPreamble
End
Shape Italic
EndFont
LangPreamble
- \providecommand{\conjecturename}{_(Conjecture)}
+ \providecommand{\conjecturename}{_(Conjecture)}
EndLangPreamble
BabelPreamble
- \addto\captions$$lang{\renewcommand{\conjecturename}{_(Conjecture)}}
+ \addto\captions$$lang{\renewcommand{\conjecturename}{_(Conjecture)}}
EndBabelPreamble
End
LatexName fact
LabelString "Fact \thefact."
LangPreamble
- \providecommand{\factname}{_(Fact)}
+ \providecommand{\factname}{_(Fact)}
EndLangPreamble
BabelPreamble
- \addto\captions$$lang{\renewcommand{\factname}{_(Fact)}}
+ \addto\captions$$lang{\renewcommand{\factname}{_(Fact)}}
EndBabelPreamble
End
Series Bold
EndFont
LangPreamble
- \providecommand{\definitionname}{_(Definition)}
+ \providecommand{\definitionname}{_(Definition)}
EndLangPreamble
BabelPreamble
- \addto\captions$$lang{\renewcommand{\definitionname}{_(Definition)}}
+ \addto\captions$$lang{\renewcommand{\definitionname}{_(Definition)}}
EndBabelPreamble
End
LabelString "Example \theexample."
RefPrefix exa
LangPreamble
- \providecommand{\examplename}{_(Example)}
+ \providecommand{\examplename}{_(Example)}
EndLangPreamble
BabelPreamble
- \addto\captions$$lang{\renewcommand{\examplename}{_(Example)}}
+ \addto\captions$$lang{\renewcommand{\examplename}{_(Example)}}
EndBabelPreamble
End
LabelString "Problem \theproblem."
RefPrefix prob
LangPreamble
- \providecommand{\problemname}{_(Problem)}
+ \providecommand{\problemname}{_(Problem)}
EndLangPreamble
BabelPreamble
- \addto\captions$$lang{\renewcommand{\problemname}{_(Problem)}}
+ \addto\captions$$lang{\renewcommand{\problemname}{_(Problem)}}
EndBabelPreamble
End
LatexType Environment
LatexName prob
Margin First_Dynamic
- LabelType Counter
+ LabelType Static
LabelCounter prob
LabelString "\theprob."
RefPrefix pro
LabelString "Solution \thesolution."
RefPrefix solu
LangPreamble
- \providecommand{\solutionname}{_(Solution)}
+ \providecommand{\solutionname}{_(Solution)}
EndLangPreamble
BabelPreamble
- \addto\captions$$lang{\renewcommand{\solutionname}{_(Solution)}}
+ \addto\captions$$lang{\renewcommand{\solutionname}{_(Solution)}}
EndBabelPreamble
End
LabelType Static
LabelString "# [number of Prob]"
Argument 1
- Mandatory 1
- LabelString "Solution"
- Tooltip "Mandatory argument to the sol environment"
+ Mandatory 1
+ LabelString "Label of Problem"
+ Tooltip "Label of the corresponding problem"
EndArgument
End
LabelString "Exercise \theexercise."
RefPrefix exer
LangPreamble
- \providecommand{\exercisename}{_(Exercise)}
+ \providecommand{\exercisename}{_(Exercise)}
EndLangPreamble
BabelPreamble
- \addto\captions$$lang{\renewcommand{\exercisename}{_(Exercise)}}
+ \addto\captions$$lang{\renewcommand{\exercisename}{_(Exercise)}}
EndBabelPreamble
End
LabelString "Remark \theremark."
RefPrefix rem
LangPreamble
- \providecommand{\remarkname}{_(Remark)}
+ \providecommand{\remarkname}{_(Remark)}
EndLangPreamble
BabelPreamble
- \addto\captions$$lang{\renewcommand{\remarkname}{_(Remark)}}
+ \addto\captions$$lang{\renewcommand{\remarkname}{_(Remark)}}
EndBabelPreamble
End
LatexName claim
LabelString "Claim"
LangPreamble
- \providecommand{\claimname}{_(Claim)}
+ \providecommand{\claimname}{_(Claim)}
EndLangPreamble
BabelPreamble
- \addto\captions$$lang{\renewcommand{\claimname}{_(Claim)}}
+ \addto\captions$$lang{\renewcommand{\claimname}{_(Claim)}}
EndBabelPreamble
End
LabelString "Case \thecase."
RefPrefix case
LangPreamble
- \providecommand{\casename}{_(Case)}
+ \providecommand{\casename}{_(Case)}
EndLangPreamble
BabelPreamble
- \addto\captions$$lang{\renewcommand{\casename}{_(Case)}}
+ \addto\captions$$lang{\renewcommand{\casename}{_(Case)}}
EndBabelPreamble
End
LabelString "Property \theproperty."
RefPrefix prop
LangPreamble
- \providecommand{\propertyname}{_(Property)}
+ \providecommand{\propertyname}{_(Property)}
EndLangPreamble
BabelPreamble
- \addto\captions$$lang{\renewcommand{\propertyname}{_(Property)}}
+ \addto\captions$$lang{\renewcommand{\propertyname}{_(Property)}}
EndBabelPreamble
End
LabelString "Question \thequestion."
RefPrefix que
LangPreamble
- \providecommand{\questionname}{_(Question)}
+ \providecommand{\questionname}{_(Question)}
EndLangPreamble
BabelPreamble
- \addto\captions$$lang{\renewcommand{\questionname}{_(Question)}}
+ \addto\captions$$lang{\renewcommand{\questionname}{_(Question)}}
EndBabelPreamble
End
LabelString "Note \thenote."
RefPrefix note
LangPreamble
- \providecommand{\notename}{_(Note)}
+ \providecommand{\notename}{_(Note)}
EndLangPreamble
BabelPreamble
- \addto\captions$$lang{\renewcommand{\notename}{_(Note)}}
+ \addto\captions$$lang{\renewcommand{\notename}{_(Note)}}
EndBabelPreamble
End