lib/layouts/theorems-ams-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 # - Case (regular only -- defined as an enumeration)
  22
  23 # We need separate counters for each theorem-like style.
  24 Format 34
  25 Counter theorem
  26 End
  27 Counter corollary
  28 End
  29 Counter lemma
  30 End
  31 Counter proposition
  32 End
  33 Counter conjecture
  34 End
  35 Counter fact
  36 End
  37 Counter definition
  38 End
  39 Counter example
  40 End
  41 Counter problem
  42 End
  43 Counter exercise
  44 End
  45 Counter remark
  46 End
  47 Counter claim
  48 End
  49
  50 Style Theorem
  51         Category              Theorem
  52         Margin                First_Dynamic
  53         LatexType             Environment
  54         LatexName             thm
  55         NextNoIndent          1
  56         OptionalArgs          1
  57         LabelSep              xx
  58         ParIndent             MMM
  59         ParSkip               0.4
  60         ItemSep               0.2
  61         TopSep                0.7
  62         BottomSep             0.7
  63         ParSep                0.3
  64         Align                 Block
  65         AlignPossible         Left
  66         LabelType             Counter
  67         LabelCounter          theorem
  68         LabelString           "Theorem \thetheorem."
  69         Font
  70           Shape               Italic
  71           Size                Normal
  72         EndFont
  73         LabelFont
  74           Shape               Up
  75           Series              Bold
  76         EndFont
  77         Preamble
  78                 \theoremstyle{plain}
  79                 \newtheorem{thm}{Theorem}
  80         EndPreamble
  81         Requires              amsthm
  82 End
  83
  84
  85 Style Corollary
  86         CopyStyle             Theorem
  87         LatexName             cor
  88         LabelString           "Corollary \thecorollary."
  89         Preamble
  90           \theoremstyle{plain}
  91           \newtheorem{cor}{Corollary}
  92         EndPreamble
  93         LabelCounter          corollary
  94 End
  95
  96
  97 Style Lemma
  98         CopyStyle             Theorem
  99         LatexName             lem
 100         LabelString           "Lemma \thelemma."
 101         Preamble
 102           \theoremstyle{plain}
 103           \newtheorem{lem}{Lemma}
 104         EndPreamble
 105         LabelCounter          lemma
 106 End
 107
 108
 109 Style Proposition
 110         CopyStyle             Theorem
 111         LatexName             prop
 112         LabelString           "Proposition \theproposition."
 113         Preamble
 114           \theoremstyle{plain}
 115           \newtheorem{prop}{Proposition}
 116         EndPreamble
 117         LabelCounter          proposition
 118 End
 119
 120
 121 Style Conjecture
 122         CopyStyle             Theorem
 123         LatexName             conjecture
 124         LabelString           "Conjecture \theconjecture."
 125         Preamble
 126           \theoremstyle{plain}
 127           \newtheorem{conjecture}{Conjecture}
 128         EndPreamble
 129         LabelCounter          conjecture
 130 End
 131
 132
 133 Style Fact
 134         CopyStyle             Theorem
 135         LatexName             fact
 136         LabelString           "Fact \thefact."
 137         Preamble
 138           \theoremstyle{plain}
 139           \newtheorem{fact}{Fact}
 140         EndPreamble
 141         LabelCounter          fact
 142 End
 143
 144
 145 Style Definition
 146         CopyStyle             Theorem
 147         LatexName             defn
 148         LabelString           "Definition \thedefinition."
 149         Font
 150           Shape               Up
 151         EndFont
 152         LabelFont
 153           Shape               Up
 154           Series              Bold
 155         EndFont
 156         Preamble
 157           \theoremstyle{definition}
 158           \newtheorem{defn}{Definition}
 159         EndPreamble
 160         LabelCounter          definition
 161 End
 162
 163
 164 Style Example
 165         CopyStyle             Definition
 166         LatexName             example
 167         LabelString           "Example \theexample."
 168         Preamble
 169          \theoremstyle{definition}
 170           \newtheorem{example}{Example}
 171         EndPreamble
 172         Requires              amsthm
 173         LabelCounter          example
 174 End
 175
 176
 177 Style Problem
 178         CopyStyle             Definition
 179         LatexName             problem
 180         LabelString           "Problem \theproblem."
 181         Preamble
 182           \theoremstyle{definition}
 183           \newtheorem{problem}{Problem}
 184         EndPreamble
 185         Requires              amsthm
 186         LabelCounter          problem
 187 End
 188
 189
 190 Style Exercise
 191         CopyStyle             Definition
 192         LatexName             xca
 193         LabelString           "Exercise \theexercise."
 194         Preamble
 195           \theoremstyle{definition}
 196           \newtheorem{xca}{Exercise}
 197         EndPreamble
 198         Requires              amsthm
 199         LabelCounter          exercise
 200 End
 201
 202
 203 Style Remark
 204         CopyStyle             Theorem
 205         LatexName             rem
 206         LabelString           "Remark \theremark."
 207         Font
 208           Shape               Up
 209           Size                Normal
 210         EndFont
 211         LabelFont
 212           Series              Medium
 213           Shape               Italic
 214         EndFont
 215         Preamble
 216           \theoremstyle{remark}
 217           \newtheorem{rem}{Remark}
 218         EndPreamble
 219         LabelCounter          remark
 220 End
 221
 222
 223 Style Claim
 224         CopyStyle             Remark
 225         LatexName             claim
 226         LabelString           "Claim \theclaim."
 227         Preamble
 228           \theoremstyle{remark}
 229           \newtheorem{claim}{Claim}
 230         EndPreamble
 231         Requires              amsthm
 232         LabelCounter          claim
 233 End
 234
 235
 236 # Define Case as an enumeration environment
 237 Style Case
 238         Category              Theorem
 239         Margin                Static
 240         LatexType             Item_Environment
 241         LatexName             caseenv
 242         LabelType             Itemize
 243         NextNoIndent          1
 244         LeftMargin            "Case ###."
 245         ParSkip               0.0
 246         ItemSep               0.2
 247         TopSep                0.7
 248         BottomSep             0.7
 249         ParSep                0.3
 250         Align                 Block
 251         AlignPossible         Block, Left
 252         LabelSep              xx
 253         LabelString           "Case #."
 254         LabelFont
 255           Series              Medium
 256           Shape               Italic
 257         EndFont
 258         Preamble
 259           \newcounter{casectr}
 260           \newenvironment{caseenv}
 261           {\begin{list}{{\itshape\ Case} \arabic{casectr}.}{%
 262            \setlength{\leftmargin}{\labelwidth}
 263            \addtolength{\leftmargin}{\parskip}
 264            \setlength{\itemindent}{\listparindent}
 265            \setlength{\itemsep}{\medskipamount}
 266            \setlength{\topsep}{\itemsep}}
 267            \setcounter{casectr}{0}
 268            \usecounter{casectr}}
 269           {\end{list}}
 270         EndPreamble
 271 End