lib/layouts/theorems-bytype.inc

   1 # Original Author : David L. Johnson <dlj0@lehigh.edu>
   2 # Probably broken by Jean-Marc Lasgouttes <Jean-Marc.Lasgouttes@inria.fr>
   3 # modified and modularized by Emmanuel GUREGHIAN <gureghia@boston.bertin.fr>
   4 # Tinkered with Sep. '07 by Paul Rubin <rubin@msu.edu>
   5 # Modularized Jan 08 by Richard Heck <rgheck@comcast.net>
   6 # Hacked June '09 by Paul Rubin <rubin@msu.edu> to use separate counters
   7
   8 # The environnements defined are :
   9 # - Theorem
  10 # - Corollary
  11 # - Lemma
  12 # - Proposition
  13 # - Conjecture
  14 # - Fact
  15 # - Definition
  16 # - Example
  17 # - Problem
  18 # - Exercise
  19 # - Remark
  20 # - Claim
  21 # - Proof
  22 # - Case (regular only -- defined as an enumeration)
  23
  24 Format 19
  25
  26 Style Theorem
  27         Category              Theorem
  28         Margin                First_Dynamic
  29         LatexType             Environment
  30         LatexName             thm
  31         NextNoIndent          1
  32         OptionalArgs          1
  33         LabelSep              xx
  34         ParIndent             MMM
  35         ParSkip               0.4
  36         ItemSep               0.2
  37         TopSep                0.7
  38         BottomSep             0.7
  39         ParSep                0.3
  40         Align                 Block
  41         AlignPossible         Left
  42         LabelType             Counter
  43         LabelCounter          theorem
  44         LabelString           "Theorem \thetheorem."
  45         Font
  46           Shape               Italic
  47           Size                Normal
  48         EndFont
  49         LabelFont
  50           Shape               Up
  51           Series              Bold
  52         EndFont
  53         Preamble
  54           \theoremstyle{plain}
  55           \newtheorem{thm}{Theorem}
  56         EndPreamble
  57         Requires              amsthm
  58 End
  59
  60
  61 Style Corollary
  62         CopyStyle             Theorem
  63         LatexName             cor
  64         LabelString           "Corollary \thecorollary."
  65         Preamble
  66           \theoremstyle{plain}
  67           \newtheorem{cor}{Corollary}
  68         EndPreamble
  69         LabelCounter          corollary
  70 End
  71
  72
  73 Style Lemma
  74         CopyStyle             Theorem
  75         LatexName             lem
  76         LabelString           "Lemma \thelemma."
  77         Preamble
  78           \theoremstyle{plain}
  79           \newtheorem{lem}{Lemma}
  80         EndPreamble
  81         LabelCounter          lemma
  82 End
  83
  84
  85 Style Proposition
  86         CopyStyle             Theorem
  87         LatexName             prop
  88         LabelString           "Proposition \theproposition."
  89         Preamble
  90           \theoremstyle{plain}
  91           \newtheorem{prop}{Proposition}
  92         EndPreamble
  93         LabelCounter          proposition
  94 End
  95
  96
  97 Style Conjecture
  98         CopyStyle             Theorem
  99         LatexName             conjecture
 100         LabelString           "Conjecture \theconjecture."
 101         Preamble
 102           \theoremstyle{plain}
 103           \newtheorem{conjecture}{Conjecture}
 104         EndPreamble
 105         LabelCounter          conjecture
 106 End
 107
 108
 109 Style Fact
 110         CopyStyle             Theorem
 111         LatexName             fact
 112         LabelString           "Fact \thefact."
 113         Preamble
 114           \theoremstyle{plain}
 115           \newtheorem{fact}{Fact}
 116         EndPreamble
 117         LabelCounter          fact
 118 End
 119
 120
 121 Style Definition
 122         CopyStyle             Theorem
 123         LatexName             defn
 124         LabelString           "Definition \thedefinition."
 125         Font
 126           Shape               Up
 127         EndFont
 128         LabelFont
 129           Shape               Up
 130           Series              Bold
 131         EndFont
 132         Preamble
 133           \theoremstyle{definition}
 134           \newtheorem{defn}{Definition}
 135         EndPreamble
 136         LabelCounter          definition
 137 End
 138
 139
 140 Style Example
 141         CopyStyle             Definition
 142         LatexName             example
 143         LabelString           "Example \theexample."
 144         Preamble
 145           \theoremstyle{definition}
 146           \newtheorem{example}{Example}
 147         EndPreamble
 148         Requires              amsthm
 149         LabelCounter          example
 150 End
 151
 152
 153 Style Problem
 154         CopyStyle             Definition
 155         LatexName             problem
 156         LabelString           "Problem \theproblem."
 157         Preamble
 158           \theoremstyle{definition}
 159           \newtheorem{problem}{Problem}
 160         EndPreamble
 161         Requires              amsthm
 162         LabelCounter          problem
 163 End
 164
 165
 166 Style Exercise
 167         CopyStyle             Definition
 168         LatexName             xca
 169         LabelString           "Exercise \theexercise."
 170         Preamble
 171           \theoremstyle{definition}
 172           \newtheorem{xca}{Exercise}
 173         EndPreamble
 174         Requires              amsthm
 175         LabelCounter          exercise
 176 End
 177
 178
 179 Style Remark
 180         CopyStyle             Theorem
 181         LatexName             rem
 182         LabelString           "Remark \theremark."
 183         Font
 184           Shape               Up
 185           Size                Normal
 186         EndFont
 187         LabelFont
 188           Series              Medium
 189           Shape               Italic
 190         EndFont
 191         Preamble
 192           \theoremstyle{remark}
 193           \newtheorem{rem}{Remark}
 194         EndPreamble
 195         LabelCounter          remark
 196 End
 197
 198
 199 Style Claim
 200         CopyStyle             Remark
 201         LatexName             claim
 202         LabelString           "Claim \theclaim."
 203         Preamble
 204           \theoremstyle{remark}
 205           \newtheorem{claim}{Claim}
 206         EndPreamble
 207         Requires              amsthm
 208         LabelCounter          claim
 209 End
 210
 211
 212 # Define Case as an enumeration environment
 213 Style Case
 214         Category              Theorem
 215         CopyStyle             Enumerate
 216         LatexName             caseenv
 217         LabelType             Static
 218         LeftMargin            "Case ###."
 219         LabelString           "Case #."
 220         LabelFont
 221           Series              Medium
 222           Shape               Italic
 223         EndFont
 224         Preamble
 225           \newcounter{casectr}
 226           \newenvironment{caseenv}
 227           {\begin{list}{{\itshape\ Case} \arabic{casectr}.}{%
 228            \setlength{\leftmargin}{\labelwidth}
 229            \addtolength{\leftmargin}{\parskip}
 230            \setlength{\itemindent}{\listparindent}
 231            \setlength{\itemsep}{\medskipamount}
 232            \setlength{\topsep}{\itemsep}}
 233            \setcounter{casectr}{0}
 234            \usecounter{casectr}}
 235           {\end{list}}
 236         EndPreamble
 237 End