2010-11-02 20:17:07 +00:00
|
|
|
#% Do not delete the line below; configure depends on this
|
2019-04-07 09:21:21 +00:00
|
|
|
#\DeclareLyXModule{Standard Theorems (Nameable)}
|
2019-04-18 12:00:00 +00:00
|
|
|
#\DeclareCategory{Maths}
|
2010-11-02 20:17:07 +00:00
|
|
|
#DescriptionBegin
|
|
|
|
# Facilitates the use of named theorems. The name of the theorem
|
2015-06-14 05:40:54 +00:00
|
|
|
# goes into the 'Additional Theorem Text' argument.
|
2010-11-02 20:17:07 +00:00
|
|
|
#DescriptionEnd
|
|
|
|
#Original Author: John Perry
|
|
|
|
|
2020-12-21 18:35:34 +00:00
|
|
|
Format 90
|
2015-12-06 20:45:44 +00:00
|
|
|
|
|
|
|
ProvideStyle Theorem*
|
|
|
|
Category Reasoning
|
|
|
|
LatexType Environment
|
|
|
|
Margin First_Dynamic
|
|
|
|
LatexName thm*
|
|
|
|
LabelType Static
|
|
|
|
LabelString "Theorem."
|
|
|
|
NextNoIndent 1
|
|
|
|
ResetArgs 1
|
|
|
|
Argument 1
|
|
|
|
LabelString "Additional Theorem Text"
|
|
|
|
Tooltip "Additional text appended to the theorem header"
|
|
|
|
EndArgument
|
|
|
|
LabelSep xx
|
|
|
|
ParIndent MMM
|
|
|
|
ParSkip 0.4
|
|
|
|
ItemSep 0.2
|
|
|
|
TopSep 0.7
|
|
|
|
BottomSep 0.7
|
|
|
|
ParSep 0.3
|
|
|
|
Align Block
|
|
|
|
AlignPossible Left
|
|
|
|
Font
|
|
|
|
Shape Italic
|
|
|
|
Size Normal
|
|
|
|
EndFont
|
|
|
|
LabelFont
|
|
|
|
Shape Up
|
|
|
|
Series Bold
|
|
|
|
EndFont
|
|
|
|
Preamble
|
|
|
|
\theoremstyle{plain}
|
|
|
|
\newtheorem*{thm*}{\protect\theoremname}
|
|
|
|
EndPreamble
|
|
|
|
LangPreamble
|
|
|
|
\providecommand{\theoremname}{_(Theorem)}
|
|
|
|
EndLangPreamble
|
|
|
|
BabelPreamble
|
|
|
|
\addto\captions$$lang{\renewcommand{\theoremname}{_(Theorem)}}
|
|
|
|
EndBabelPreamble
|
|
|
|
Requires amsthm
|
|
|
|
End
|
|
|
|
|
|
|
|
|
2010-11-02 20:17:07 +00:00
|
|
|
Style "Named Theorem"
|
|
|
|
CopyStyle Theorem*
|
2013-01-30 11:36:49 +00:00
|
|
|
Category Reasoning
|
2010-11-02 20:17:07 +00:00
|
|
|
LabelString "Named Theorem."
|
|
|
|
LatexName namedthm
|
|
|
|
Preamble
|
2011-04-12 00:32:45 +00:00
|
|
|
\newcommand\thmsname{\protect\theoremname}
|
2010-11-02 20:17:07 +00:00
|
|
|
\newcommand\nm@thmtype{theorem}
|
|
|
|
\theoremstyle{plain}
|
2011-04-12 00:32:45 +00:00
|
|
|
\newtheorem*{namedtheorem}{\thmsname}
|
2010-11-02 20:17:07 +00:00
|
|
|
\newenvironment{namedthm}[1][Undefined Theorem Name]{
|
|
|
|
\ifx{#1}{Undefined Theorem Name}\renewcommand\nm@thmtype{theorem*}
|
|
|
|
\else\renewcommand\thmsname{#1}\renewcommand\nm@thmtype{namedtheorem}
|
|
|
|
\fi
|
|
|
|
\begin{\nm@thmtype}}
|
|
|
|
{\end{\nm@thmtype}}
|
|
|
|
EndPreamble
|
|
|
|
End
|
|
|
|
|