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