]> git.lyx.org Git - features.git/commitdiff
Add three new files from Andrew Parsloe. These do for AMS-type
authorRichard Heck <rgheck@lyx.org>
Thu, 17 Nov 2016 15:59:49 +0000 (10:59 -0500)
committerRichard Heck <rgheck@lyx.org>
Thu, 17 Nov 2016 16:41:52 +0000 (11:41 -0500)
theorem environments what the already existing "by chapter" modules
do for non-AMS ones.

(cherry picked from commit 0f5ba65eae1b3e069be0be279904c911fe02907c)

lib/Makefile.am
lib/layouts/theorems-ams-chap-bytype.inc [new file with mode: 0644]
lib/layouts/theorems-ams-chap-bytype.module [new file with mode: 0644]
lib/layouts/theorems-ams-extended-chap-bytype.module [new file with mode: 0644]

index 5796962a5396f114c84b7bbf9a5ebb14e8f0c3bf..000ac2afc98a5ca4e1d4425bdc312df0b240ea23 100644 (file)
@@ -2274,8 +2274,11 @@ dist_layouts_DATA =\
        layouts/theorems-ams.module \
        layouts/theorems-ams-bytype.inc \
        layouts/theorems-ams-bytype.module \
+       layouts/theorems-ams-chap-bytype.inc \
+       layouts/theorems-ams-chap-bytype.module \
        layouts/theorems-ams-extended.module \
        layouts/theorems-ams-extended-bytype.module \
+       layouts/theorems-ams-extended-chap-bytype.module \
        layouts/theorems-case.inc \
        layouts/theorems-chap.module \
        layouts/theorems.inc \
diff --git a/lib/layouts/theorems-ams-chap-bytype.inc b/lib/layouts/theorems-ams-chap-bytype.inc
new file mode 100644 (file)
index 0000000..efebe93
--- /dev/null
@@ -0,0 +1,393 @@
+# Original Author : David L. Johnson <dlj0@lehigh.edu>
+# Probably broken by Jean-Marc Lasgouttes <Jean-Marc.Lasgouttes@inria.fr>
+# modified and modularized by Emmanuel GUREGHIAN <gureghia@boston.bertin.fr>
+# Tinkered with Sep. '07 by Paul Rubin <rubin@msu.edu>
+# Modularized Jan 08 by Richard Heck <rgheck@comcast.net>
+# Hacked June '09 by Paul Rubin <rubin@msu.edu> to use separate counters
+# Chapter dependence added Oct '16 by Andrew Parsloe <aparsloe@clear.net.nz>
+
+# The environments defined are :
+# - Theorem
+# - Corollary
+# - Lemma
+# - Proposition
+# - Conjecture
+# - Fact
+# - Definition
+# - Example
+# - Problem
+# - Exercise
+# - Solution
+# - Remark
+# - Claim
+# - Case (by inclusion)
+
+
+# We need separate counters for each theorem-like style.
+Format 60
+Counter theorem
+End
+Counter corollary
+End
+Counter lemma
+End
+Counter proposition
+End
+Counter conjecture
+End
+Counter fact
+End
+Counter definition
+End
+Counter example
+End
+Counter problem
+End
+Counter exercise
+End
+Counter solution
+End
+Counter remark
+End
+Counter claim
+End
+
+OutlinerName thm "Definitions & Theorems"
+
+Style Theorem
+       Category              Reasoning
+       Margin                First_Dynamic
+       LatexType             Environment
+       LatexName             thm
+       NextNoIndent          1
+       ResetArgs             1
+       AddToToc              thm
+       IsTocCaption          1
+       Argument 1
+               LabelString    "Additional Theorem Text"
+               Tooltip        "Additional text appended to the theorem header"
+               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 \thechapter.\thetheorem."
+       Font
+         Shape               Italic
+         Size                Normal
+       EndFont
+       LabelFont
+         Shape               Up
+         Series              Bold
+       EndFont
+       Preamble
+               \theoremstyle{plain}
+    \ifx\thechapter\undefined
+           \newtheorem{thm}{\protect\theoremname}
+         \else
+      \newtheorem{thm}{\protect\theoremname}[chapter]
+    \fi
+       EndPreamble
+       LangPreamble
+               \providecommand{\theoremname}{_(Theorem)}
+       EndLangPreamble
+       BabelPreamble
+               \addto\captions$$lang{\renewcommand{\theoremname}{_(Theorem)}}
+       EndBabelPreamble
+       Requires              amsthm
+End
+
+
+Style Corollary
+       CopyStyle             Theorem
+       LatexName             cor
+       LabelString           "Corollary \thechapter.\thecorollary."
+       Preamble
+         \theoremstyle{plain}
+    \ifx\thechapter\undefined
+           \newtheorem{cor}{\protect\corollaryname}
+         \else
+      \newtheorem{cor}{\protect\corollaryname}[chapter]
+    \fi
+       EndPreamble
+       LabelCounter          corollary
+       LangPreamble
+               \providecommand{\corollaryname}{_(Corollary)}
+       EndLangPreamble
+       BabelPreamble
+               \addto\captions$$lang{\renewcommand{\corollaryname}{_(Corollary)}}
+       EndBabelPreamble
+End
+
+
+Style Lemma
+       CopyStyle             Theorem
+       LatexName             lem
+       LabelString           "Lemma \thechapter.\thelemma."
+       Preamble
+         \theoremstyle{plain}
+    \ifx\thechapter\undefined
+      \newtheorem{lem}{\protect\lemmaname}
+    \else
+      \newtheorem{lem}{\protect\lemmaname}[chapter]
+    \fi
+       EndPreamble
+       LangPreamble
+         \providecommand{\lemmaname}{_(Lemma)}
+       EndLangPreamble
+       BabelPreamble
+         \addto\captions$$lang{\renewcommand{\lemmaname}{_(Lemma)}}
+       EndBabelPreamble
+       LabelCounter          lemma
+End
+
+
+Style Proposition
+       CopyStyle             Theorem
+       LatexName             prop
+       LabelString           "Proposition \thechapter.\theproposition."
+       Preamble
+         \theoremstyle{plain}
+    \ifx\thechapter\undefined
+      \newtheorem{prop}{\protect\propositionname}
+    \else
+      \newtheorem{prop}{\protect\propositionname}[chapter]
+    \fi
+       EndPreamble
+       LangPreamble
+         \providecommand{\propositionname}{_(Proposition)}
+       EndLangPreamble
+       BabelPreamble
+         \addto\captions$$lang{\renewcommand{\propositionname}{_(Proposition)}}
+       EndBabelPreamble
+       LabelCounter          proposition
+End
+
+
+Style Conjecture
+       CopyStyle             Theorem
+       LatexName             conjecture
+       LabelString           "Conjecture \thechapter.\theconjecture."
+       Preamble
+         \theoremstyle{plain}
+    \ifx\thechapter\undefined
+      \newtheorem{conjecture}{\protect\conjecturename}
+    \else
+      \newtheorem{conjecture}{\protect\conjecturename}[chapter]
+    \fi
+       EndPreamble
+       LangPreamble
+         \providecommand{\conjecturename}{_(Conjecture)}
+       EndLangPreamble
+       BabelPreamble
+         \addto\captions$$lang{\renewcommand{\conjecturename}{_(Conjecture)}}
+       EndBabelPreamble
+       LabelCounter          conjecture
+End
+
+
+Style Fact
+       CopyStyle             Theorem
+       LatexName             fact
+       LabelString           "Fact \thechapter.\thefact."
+       Preamble
+         \theoremstyle{plain}
+    \ifx\thechapter\undefined
+      \newtheorem{fact}{\protect\factname}
+    \else
+      \newtheorem{fact}{\protect\factname}[chapter]
+    \fi
+       EndPreamble
+       LangPreamble
+         \providecommand{\factname}{_(Fact)}
+       EndLangPreamble
+       BabelPreamble
+         \addto\captions$$lang{\renewcommand{\factname}{_(Fact)}}
+       EndBabelPreamble
+       LabelCounter          fact
+End
+
+
+Style Definition
+       CopyStyle             Theorem
+       LatexName             defn
+       LabelString           "Definition \thechapter.\thedefinition."
+       Font
+         Shape               Up
+       EndFont
+       LabelFont
+         Shape               Up
+         Series              Bold
+       EndFont
+       Preamble
+         \theoremstyle{definition}
+    \ifx\thechapter\undefined
+      \newtheorem{defn}{\protect\definitionname}
+    \else
+      \newtheorem{defn}{\protect\definitionname}[chapter]
+    \fi
+       EndPreamble
+       LangPreamble
+         \providecommand{\definitionname}{_(Definition)}
+       EndLangPreamble
+       BabelPreamble
+         \addto\captions$$lang{\renewcommand{\definitionname}{_(Definition)}}
+       EndBabelPreamble
+       LabelCounter          definition
+End
+
+
+Style Example
+       CopyStyle             Definition
+       LatexName             example
+       LabelString           "Example \thechapter.\theexample."
+       Preamble
+         \theoremstyle{definition}
+    \ifx\thechapter\undefined
+      \newtheorem{example}{\protect\examplename}
+    \else
+      \newtheorem{example}{\protect\examplename}[chapter]
+    \fi
+       EndPreamble
+       Requires              amsthm
+       LangPreamble
+         \providecommand{\examplename}{_(Example)}
+       EndLangPreamble
+       BabelPreamble
+         \addto\captions$$lang{\renewcommand{\examplename}{_(Example)}}
+       EndBabelPreamble
+       LabelCounter          example
+End
+
+
+Style Problem
+       CopyStyle             Definition
+       LatexName             problem
+       LabelString           "Problem \thechapter.\theproblem."
+       Preamble
+         \theoremstyle{definition}
+    \ifx\thechapter\undefined
+      \newtheorem{problem}{\protect\problemname}
+    \else
+      \newtheorem{problem}{\protect\problemname}[chapter]
+    \fi
+       EndPreamble
+       Requires              amsthm
+       LangPreamble
+         \providecommand{\problemname}{_(Problem)}
+       EndLangPreamble
+       BabelPreamble
+         \addto\captions$$lang{\renewcommand{\problemname}{_(Problem)}}
+       EndBabelPreamble
+       LabelCounter          problem
+End
+
+
+Style Exercise
+       CopyStyle             Definition
+       LatexName             xca
+       LabelString           "Exercise \thechapter.\theexercise."
+       Preamble
+         \theoremstyle{definition}
+    \ifx\thechapter\undefined
+      \newtheorem{xca}{\protect\exercisename}
+    \else
+      \newtheorem{xca}{\protect\exercisename}[chapter]
+    \fi
+       EndPreamble
+       Requires              amsthm
+       LangPreamble
+         \providecommand{\exercisename}{_(Exercise)}
+       EndLangPreamble
+       BabelPreamble
+         \addto\captions$$lang{\renewcommand{\exercisename}{_(Exercise)}}
+       EndBabelPreamble
+       LabelCounter          exercise
+End
+
+
+Style Solution
+       CopyStyle             Definition
+       LatexName             sol
+       LabelString           "Solution \thechapter.\thesolution."
+       Preamble
+         \theoremstyle{definition}
+    \ifx\thechapter\undefined
+      \newtheorem{sol}{\protect\solutionname}
+    \else
+      \newtheorem{sol}{\protect\solutionname}[chapter]
+    \fi
+       EndPreamble
+       Requires              amsthm
+       LangPreamble
+               \providecommand{\solutionname}{_(Solution)}
+       EndLangPreamble
+       BabelPreamble
+               \addto\captions$$lang{\renewcommand{\solutionname}{_(Solution)}}
+       EndBabelPreamble
+       LabelCounter          solution
+End
+
+
+Style Remark
+       CopyStyle             Theorem
+       LatexName             rem
+       LabelString           "Remark \thechapter.\theremark."
+       Font
+         Shape               Up
+         Size                Normal
+       EndFont
+       LabelFont
+         Series              Medium
+         Shape               Italic
+       EndFont
+       Preamble
+         \theoremstyle{remark}
+    \ifx\thechapter\undefined
+      \newtheorem{rem}{\protect\remarkname}
+    \else
+      \newtheorem{rem}{\protect\remarkname}[chapter]
+    \fi
+       EndPreamble
+       LangPreamble
+         \providecommand{\remarkname}{_(Remark)}
+       EndLangPreamble
+       BabelPreamble
+         \addto\captions$$lang{\renewcommand{\remarkname}{_(Remark)}}
+       EndBabelPreamble
+       LabelCounter          remark
+End
+
+
+Style Claim
+       CopyStyle             Remark
+       LatexName             claim
+       LabelString           "Claim \thechapter.\theclaim."
+       Preamble
+         \theoremstyle{remark}
+    \ifx\thechapter\undefined
+      \newtheorem{claim}{\protect\claimname}
+    \else
+      \newtheorem{claim}{\protect\claimname}[chapter]
+    \fi
+       EndPreamble
+       Requires              amsthm
+       LangPreamble
+         \providecommand{\claimname}{_(Claim)}
+       EndLangPreamble
+       BabelPreamble
+         \addto\captions$$lang{\renewcommand{\claimname}{_(Claim)}}
+       EndBabelPreamble
+       LabelCounter          claim
+End
+
+
+Input theorems-case.inc
diff --git a/lib/layouts/theorems-ams-chap-bytype.module b/lib/layouts/theorems-ams-chap-bytype.module
new file mode 100644 (file)
index 0000000..ad422a8
--- /dev/null
@@ -0,0 +1,72 @@
+#\DeclareLyXModule{Theorems (AMS, Numbered by Type within Chapters)}
+#DescriptionBegin
+#Defines theorem environments and the proof environment using the extended
+#AMS machinery. Both numbered and unnumbered types are provided. Contrary to the
+#plain AMS Theorem module, the different theorem types provided here each have
+#a separate counter (e.g., theorem 1.1, theorem 1.2, lemma 1.1, proposition 1.1,
+#theorem 1.3, lemma 1.2, ..., as opposed to theorem 1, theorem 2, lemma 3,
+#proposition 4, ...). The numbering restarts for each chapter: theorem 1.1,
+#theorem 2.1, ...
+#DescriptionEnd
+#Excludes: theorems-std | theorems-starred | theorems-ams | theorems-bytype
+
+# Original Author : David L. Johnson <dlj0@lehigh.edu>
+# Probably broken by Jean-Marc Lasgouttes <Jean-Marc.Lasgouttes@inria.fr>
+# modified and modularized by Emmanuel GUREGHIAN <gureghia@boston.bertin.fr>
+# Tinkered with Sep. '07 by Paul Rubin <rubin@msu.edu>
+# Modularized Jan 08 by Richard Heck <rgheck@comcast.net>
+# Hacked June '09 by Paul Rubin <rubin@msu.edu> to use separate counters
+# Chapter dependence added Oct '16 by Andrew Parsloe <aparsloe@clear.net.nz>
+
+Format 60
+
+Requires       amsmath,amsthm
+
+# The environments defined (regular and starred) are :
+# - theorem
+# - corollary
+# - lemma
+# - proposition
+# - conjecture
+# - fact
+# - definition
+# - example
+# - solution
+# - problem
+# - exercise
+# - remark
+# - claim
+
+# We need separate counters for each theorem-like style.
+Counter theorem
+End
+Counter corollary
+End
+Counter lemma
+End
+Counter proposition
+End
+Counter conjecture
+End
+Counter fact
+End
+Counter definition
+End
+Counter example
+End
+Counter solution
+End
+Counter problem
+End
+Counter exercise
+End
+Counter remark
+End
+Counter claim
+End
+
+
+Input theorems-order.inc
+Input theorems-ams-chap-bytype.inc
+Input theorems-starred.inc
+Input theorems-proof.inc
diff --git a/lib/layouts/theorems-ams-extended-chap-bytype.module b/lib/layouts/theorems-ams-extended-chap-bytype.module
new file mode 100644 (file)
index 0000000..82c270d
--- /dev/null
@@ -0,0 +1,494 @@
+#\DeclareLyXModule{Theorems (AMS-Extended, Numbered by Type within Chapters)}
+#DescriptionBegin
+#Defines some additional theorem environments for use with the
+#AMS theorems packages. Includes Criterion, Algorithm, Axiom,
+#Condition, Note, Notation, Summary, Acknowledgement, Conclusion,
+#Assumption, and Case, in both numbered and non-numbered forms.
+#Contrary to the plain AMS-Extended module, the different theorem
+#types provided here each have a separate counter, restarted with each
+#new chapter (e.g., criterion 1.1, criterion 1.2, axiom 1.1, assumption 1.1, #criterion 2.1, criterion 2.2, axiom 2.1..., as opposed to criterion 1,
+#criterion 2, axiom 3, assumption 4...)
+#DescriptionEnd
+#Requires: theorems-ams-chap-bytype
+
+# Original Author : David L. Johnson <dlj0@lehigh.edu>
+# Probably broken by Jean-Marc Lasgouttes <Jean-Marc.Lasgouttes@inria.fr>
+# modified and modularized by Emmanuel GUREGHIAN <gureghia@boston.bertin.fr>
+# Tinkered with Sep. '07 by Paul Rubin <rubin@msu.edu>
+# Modularized Jan 08 by Richard Heck <rgheck@comcast.net>
+# Hacked June '09 by Paul Rubin <rubin@msu.edu> to use separate counters
+# Chapter dependence added Oct '16 by Andrew Parsloe <aparsloe@clear.net.nz>
+
+Format 60
+
+Requires       amsmath
+
+# The environnements defined (regular and starred) are :
+# - Criterion
+# - Algorithm
+# - Axiom
+# - Condition
+# - Note
+# - Notation
+# - Summary
+# - Acknowledgement
+# - Conclusion
+# - Assumption
+# - Question
+
+# We need separate counters for each theorem-like style.
+Counter criterion
+End
+Counter algorithm
+End
+Counter axiom
+End
+Counter condition
+End
+Counter note
+End
+Counter notation
+End
+Counter summary
+End
+Counter acknowledgement
+End
+Counter conclusion
+End
+Counter assumption
+End
+Counter question
+End
+
+
+# additional (AMS-extended) environments
+
+Style Criterion
+       CopyStyle             Theorem
+       LatexName             criterion
+       LabelString           "Criterion \thechapter.\thecriterion."
+       Preamble
+         \theoremstyle{plain}
+    \ifx\thechapter\undefined
+      \newtheorem{criterion}{\protect\criterionname}
+    \else
+      \newtheorem{criterion}{\protect\criterionname}[chapter]
+    \fi
+       EndPreamble
+       LangPreamble
+         \providecommand{\criterionname}{_(Criterion)}
+       EndLangPreamble
+       BabelPreamble
+         \addto\captions$$lang{\renewcommand{\criterionname}{_(Criterion)}}
+       EndBabelPreamble
+       LabelCounter          criterion
+End
+
+
+Style Criterion*
+       CopyStyle             Theorem*
+       LatexName             criterion*
+       LabelString           "Criterion."
+       Preamble
+         \theoremstyle{plain}
+         \newtheorem*{criterion*}{\protect\criterionname}
+       EndPreamble
+       LangPreamble
+         \providecommand{\criterionname}{_(Criterion)}
+       EndLangPreamble
+       BabelPreamble
+         \addto\captions$$lang{\renewcommand{\criterionname}{_(Criterion)}}
+       EndBabelPreamble
+End
+
+
+Style Algorithm
+       CopyStyle             Theorem
+       LatexName             lyxalgorithm
+       LabelString           "Algorithm \thechapter.\thealgorithm."
+       Preamble
+         \theoremstyle{plain}
+    \ifx\thechapter\undefined
+      \newtheorem{lyxalgorithm}{\protect\algorithmname}
+    \else
+      \newtheorem{lyxalgorithm}{\protect\algorithmname}[chapter]
+    \fi
+       EndPreamble
+       LangPreamble
+         \providecommand{\algorithmname}{_(Algorithm)}
+       EndLangPreamble
+       BabelPreamble
+         \addto\captions$$lang{\renewcommand{\algorithmname}{_(Algorithm)}}
+       EndBabelPreamble
+       LabelCounter          algorithm
+End
+
+
+Style Algorithm*
+       CopyStyle             Theorem*
+       LatexName             lyxalgorithm*
+       LabelString           "Algorithm."
+       Preamble
+         \theoremstyle{plain}
+         \newtheorem*{lyxalgorithm*}{\protect\algorithmname}
+       EndPreamble
+       LangPreamble
+         \providecommand{\algorithmname}{_(Algorithm)}
+       EndLangPreamble
+       BabelPreamble
+         \addto\captions$$lang{\renewcommand{\algorithmname}{_(Algorithm)}}
+       EndBabelPreamble
+End
+
+
+Style Axiom
+       CopyStyle             Theorem
+       LatexName             ax
+       LabelString           "Axiom \thechapter.\theaxiom."
+       Preamble
+         \theoremstyle{plain}
+    \ifx\thechapter\undefined
+      \newtheorem{ax}{\protect\axiomname}
+    \else
+      \newtheorem{ax}{\protect\axiomname}[chapter]
+    \fi
+       EndPreamble
+       LangPreamble
+         \providecommand{\axiomname}{_(Axiom)}
+       EndLangPreamble
+       BabelPreamble
+         \addto\captions$$lang{\renewcommand{\axiomname}{_(Axiom)}}
+       EndBabelPreamble
+       LabelCounter          axiom
+End
+
+
+Style Axiom*
+       CopyStyle             Theorem*
+       LatexName             ax*
+       LabelString           "Axiom."
+       Preamble
+         \theoremstyle{plain}
+         \newtheorem*{ax*}{\protect\axiomname}
+       EndPreamble
+       LangPreamble
+         \providecommand{\axiomname}{_(Axiom)}
+       EndLangPreamble
+       BabelPreamble
+         \addto\captions$$lang{\renewcommand{\axiomname}{_(Axiom)}}
+       EndBabelPreamble
+End
+
+
+Style Condition
+       CopyStyle             Definition
+       LatexName             condition
+       LabelString           "Condition \thechapter.\thecondition."
+       Preamble
+         \theoremstyle{definition}
+    \ifx\thechapter\undefined
+      \newtheorem{condition}{\protect\conditionname}
+    \else
+      \newtheorem{condition}{\protect\conditionname}[chapter]
+    \fi
+       EndPreamble
+       LangPreamble
+         \providecommand{\conditionname}{_(Condition)}
+       EndLangPreamble
+       BabelPreamble
+         \addto\captions$$lang{\renewcommand{\conditionname}{_(Condition)}}
+       EndBabelPreamble
+       LabelCounter          condition
+End
+
+
+Style Condition*
+       CopyStyle             Definition*
+       LatexName             condition*
+       LabelString           "Condition."
+       Preamble
+         \theoremstyle{definition}
+         \newtheorem*{condition*}{\protect\conditionname}
+       EndPreamble
+       LangPreamble
+         \providecommand{\conditionname}{_(Condition)}
+       EndLangPreamble
+       BabelPreamble
+         \addto\captions$$lang{\renewcommand{\conditionname}{_(Condition)}}
+       EndBabelPreamble
+End
+
+
+Style Note
+       CopyStyle             Remark
+       LatexName             note
+       LabelString           "Note \thechapter.\thenote."
+       Preamble
+         \theoremstyle{remark}
+    \ifx\thechapter\undefined
+      \newtheorem{note}{\protect\notename}
+    \else
+      \newtheorem{note}{\protect\notename}[chapter]
+    \fi
+       EndPreamble
+       LangPreamble
+         \providecommand{\notename}{_(Note)}
+       EndLangPreamble
+       BabelPreamble
+         \addto\captions$$lang{\renewcommand{\notename}{_(Note)}}
+       EndBabelPreamble
+       LabelCounter          note
+End
+
+
+Style Note*
+       CopyStyle             Remark*
+       LatexName             note*
+       LabelString           "Note."
+       Preamble
+         \theoremstyle{remark}
+         \newtheorem*{note*}{\protect\notename}
+       EndPreamble
+       LangPreamble
+         \providecommand{\notename}{_(Note)}
+       EndLangPreamble
+       BabelPreamble
+         \addto\captions$$lang{\renewcommand{\notename}{_(Note)}}
+       EndBabelPreamble
+End
+
+
+Style Notation
+       CopyStyle             Remark
+       LatexName             notation
+       LabelString           "Notation \thechapter.\thenotation."
+       Preamble
+         \theoremstyle{remark}
+    \ifx\thechapter\undefined
+      \newtheorem{notation}{\protect\notationname}
+    \else
+      \newtheorem{notation}{\protect\notationname}[chapter]
+    \fi
+       EndPreamble
+       LangPreamble
+         \providecommand{\notationname}{_(Notation)}
+       EndLangPreamble
+       BabelPreamble
+         \addto\captions$$lang{\renewcommand{\notationname}{_(Notation)}}
+       EndBabelPreamble
+       LabelCounter          notation
+End
+
+
+Style Notation*
+       CopyStyle             Remark*
+       LatexName             notation*
+       LabelString           "Notation."
+       Preamble
+         \theoremstyle{remark}
+         \newtheorem*{notation*}{\protect\notationname}
+       EndPreamble
+       LangPreamble
+         \providecommand{\notationname}{_(Notation)}
+       EndLangPreamble
+       BabelPreamble
+         \addto\captions$$lang{\renewcommand{\notationname}{_(Notation)}}
+       EndBabelPreamble
+End
+
+
+Style Summary
+       CopyStyle             Remark
+       LatexName             summary
+       LabelString           "Summary \thechapter.\thesummary."
+       Preamble
+         \theoremstyle{remark}
+    \ifx\thechapter\undefined
+      \newtheorem{summary}{\protect\summaryname}
+    \fi
+    \else
+      \newtheorem{summary}{\protect\summaryname}[chapter]
+    \fi
+       EndPreamble
+       LangPreamble
+         \providecommand{\summaryname}{_(Summary)}
+       EndLangPreamble
+       BabelPreamble
+         \addto\captions$$lang{\renewcommand{\summaryname}{_(Summary)}}
+       EndBabelPreamble
+       LabelCounter          summary
+End
+
+
+Style Summary*
+       CopyStyle             Remark*
+       LatexName             summary*
+       LabelString           "Summary."
+       Preamble
+         \theoremstyle{remark}
+         \newtheorem*{summary*}{\protect\summaryname}
+       EndPreamble
+       LangPreamble
+         \providecommand{\summaryname}{_(Summary)}
+       EndLangPreamble
+       BabelPreamble
+         \addto\captions$$lang{\renewcommand{\summaryname}{_(Summary)}}
+       EndBabelPreamble
+End
+
+
+Style Acknowledgement
+       CopyStyle             Remark
+       LatexName             acknowledgement
+       LabelString           "Acknowledgement \thechapter.\theacknowledgement."
+       Preamble
+         \theoremstyle{remark}
+    \ifx\thechapter\undefined
+      \newtheorem{acknowledgement}{\protect\acknowledgementname}
+    \else
+      \newtheorem{acknowledgement}{\protect\acknowledgementname}[chapter]
+    \fi
+       EndPreamble
+       LangPreamble
+         \providecommand{\acknowledgementname}{_(Acknowledgement)}
+       EndLangPreamble
+       BabelPreamble
+         \addto\captions$$lang{\renewcommand{\acknowledgementname}{_(Acknowledgement)}}
+       EndBabelPreamble
+       LabelCounter          acknowledgement
+End
+
+
+Style Acknowledgement*
+       CopyStyle             Remark*
+       LatexName             acknowledgement*
+       LabelString           "Acknowledgement."
+       Preamble
+         \theoremstyle{remark}
+         \newtheorem*{acknowledgement*}{\protect\acknowledgementname}
+       EndPreamble
+       LangPreamble
+         \providecommand{\acknowledgementname}{_(Acknowledgement)}
+       EndLangPreamble
+       BabelPreamble
+         \addto\captions$$lang{\renewcommand{\acknowledgementname}{_(Acknowledgement)}}
+       EndBabelPreamble
+End
+
+
+Style Conclusion
+       CopyStyle             Remark
+       LatexName             conclusion
+       LabelString           "Conclusion \thechapter.\theconclusion."
+       Preamble
+         \theoremstyle{remark}
+    \ifx\thechapter\undefined
+      \newtheorem{conclusion}{\protect\conclusionname}
+    \else
+      \newtheorem{conclusion}{\protect\conclusionname}[chapter]
+    \fi
+       EndPreamble
+       LangPreamble
+         \providecommand{\conclusionname}{_(Conclusion)}
+       EndLangPreamble
+       BabelPreamble
+         \addto\captions$$lang{\renewcommand{\conclusionname}{_(Conclusion)}}
+       EndBabelPreamble
+       LabelCounter          conclusion
+End
+
+
+Style Conclusion*
+       CopyStyle             Remark*
+       LatexName             conclusion*
+       LabelString           "Conclusion."
+       Preamble
+         \theoremstyle{remark}
+         \newtheorem*{conclusion*}{\protect\conclusionname}
+       EndPreamble
+       LangPreamble
+         \providecommand{\conclusionname}{_(Conclusion)}
+       EndLangPreamble
+       BabelPreamble
+         \addto\captions$$lang{\renewcommand{\conclusionname}{_(Conclusion)}}
+       EndBabelPreamble
+End
+
+
+Style Assumption
+       CopyStyle             Theorem
+       LatexName             assumption
+       LabelString           "Assumption \thechapter.\theassumption."
+       Preamble
+         \theoremstyle{plain}
+    \ifx\thechapter\undefined
+      \newtheorem{assumption}{\protect\assumptionname}
+    \else
+      \newtheorem{assumption}{\protect\assumptionname}[chapter]
+    \fi
+       EndPreamble
+       LangPreamble
+         \providecommand{\assumptionname}{_(Assumption)}
+       EndLangPreamble
+       BabelPreamble
+         \addto\captions$$lang{\renewcommand{\assumptionname}{_(Assumption)}}
+       EndBabelPreamble
+       LabelCounter          assumption
+End
+
+
+Style Assumption*
+       CopyStyle             Theorem*
+       LatexName             assumption*
+       LabelString           "Assumption."
+       Preamble
+         \theoremstyle{plain}
+         \newtheorem*{assumption*}{\protect\assumptionname}
+       EndPreamble
+       LangPreamble
+         \providecommand{\assumptionname}{_(Assumption)}
+       EndLangPreamble
+       BabelPreamble
+         \addto\captions$$lang{\renewcommand{\assumptionname}{_(Assumption)}}
+       EndBabelPreamble
+End
+
+Style Question
+       CopyStyle             Theorem
+       DependsOn             Theorem
+       LatexName             question
+       LabelString           "Question \thechapter.\thequestion."
+       Preamble
+         \theoremstyle{plain}
+    \ifx\thechapter\undefined
+      \newtheorem{question}{\protect\questionname}
+    \else
+      \newtheorem{question}{\protect\questionname}[chapter]
+    \fi
+       EndPreamble
+       LangPreamble
+         \providecommand{\questionname}{_(Question)}
+       EndLangPreamble
+       BabelPreamble
+         \addto\captions$$lang{\renewcommand{\questionname}{_(Question)}}
+       EndBabelPreamble
+       LabelCounter          question
+End
+
+Style Question*
+       CopyStyle             Theorem*
+       LatexName             question*
+       LabelString           "Question."
+       Preamble
+         \theoremstyle{plain}
+         \newtheorem*{question*}{\protect\questionname}
+       EndPreamble
+       LangPreamble
+         \providecommand{\questionname}{_(Question)}
+       EndLangPreamble
+       BabelPreamble
+         \addto\captions$$lang{\renewcommand{\questionname}{_(Question)}}
+       EndBabelPreamble
+End
+
+Input theorems-refprefix.inc