lib/layouts/theorems-ams.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
   7 # The environnements defined are :
   8 # - Theorem
   9 # - Corollary
  10 # - Lemma
  11 # - Proposition
  12 # - Conjecture
  13 # - Definition
  14 # - Example
  15 # - Problem
  16 # - Exercise
  17 # - Remark
  18 # - Claim
  19 # - Proof
  20 # - Case (regular only -- defined as an enumeration)
  21
  22 Format 6
  23
  24 Style Theorem
  25         Category              Theorem
  26         Margin                First_Dynamic
  27         LatexType             Environment
  28         LatexName             thm
  29         NextNoIndent          1
  30         OptionalArgs          1
  31         LabelSep              xx
  32         ParIndent             MMM
  33         ParSkip               0.4
  34         ItemSep               0.2
  35         TopSep                0.7
  36         BottomSep             0.7
  37         ParSep                0.3
  38         Align                 Block
  39         AlignPossible         Left
  40         LabelType             Counter
  41         LabelCounter          theorem
  42         LabelString           "Theorem \thetheorem."
  43         Font
  44           Shape               Italic
  45           Size                Normal
  46         EndFont
  47         LabelFont
  48           Shape               Up
  49           Series              Bold
  50         EndFont
  51         Preamble
  52                 \theoremstyle{plain}
  53                 \newtheorem{thm}{Theorem}
  54         EndPreamble
  55 End
  56
  57
  58 Style Corollary
  59         CopyStyle             Theorem
  60         DependsOn                         Theorem
  61         LatexName             cor
  62         LabelString           "Corollary \thetheorem."
  63         Preamble
  64           \theoremstyle{plain}
  65           \newtheorem{cor}[thm]{Corollary}
  66         EndPreamble
  67 End
  68
  69
  70 Style Lemma
  71         CopyStyle             Theorem
  72         DependsOn                   Theorem
  73         LatexName             lem
  74         LabelString           "Lemma \thetheorem."
  75         Preamble
  76           \theoremstyle{plain}
  77           \newtheorem{lem}[thm]{Lemma}
  78         EndPreamble
  79 End
  80
  81
  82 Style Proposition
  83         CopyStyle             Theorem
  84         DependsOn                   Theorem
  85         LatexName             prop
  86         LabelString           "Proposition \thetheorem."
  87         Preamble
  88           \theoremstyle{plain}
  89           \newtheorem{prop}[thm]{Proposition}
  90         EndPreamble
  91 End
  92
  93
  94 Style Conjecture
  95         CopyStyle             Theorem
  96         DependsOn                   Theorem
  97         LatexName             conjecture
  98         LabelString           "Conjecture \thetheorem."
  99         Preamble
 100           \theoremstyle{plain}
 101           \newtheorem{conjecture}[thm]{Conjecture}
 102         EndPreamble
 103 End
 104
 105
 106 Style Fact
 107         CopyStyle             Theorem
 108         DependsOn                   Theorem
 109         LatexName             fact
 110         LabelString           "Fact \thetheorem."
 111         Preamble
 112           \theoremstyle{plain}
 113           \newtheorem{fact}[thm]{Fact}
 114         EndPreamble
 115 End
 116
 117
 118 Style Definition
 119         CopyStyle             Theorem
 120         DependsOn                   Theorem
 121         LatexName             defn
 122         LabelString           "Definition \thetheorem."
 123         Font
 124           Shape               Up
 125         EndFont
 126         LabelFont
 127           Shape               Up
 128           Series              Bold
 129         EndFont
 130         Preamble
 131           \theoremstyle{definition}
 132           \newtheorem{defn}[thm]{Definition}
 133         EndPreamble
 134 End
 135
 136
 137 Style Example
 138         CopyStyle             Definition
 139         LatexName             example
 140         LabelString           "Example \thetheorem."
 141         Preamble
 142          \theoremstyle{definition}
 143           \newtheorem{example}[thm]{Example}
 144         EndPreamble
 145 End
 146
 147
 148 Style Problem
 149         CopyStyle             Definition
 150         LatexName             problem
 151         LabelString           "Problem \thetheorem."
 152         Preamble
 153           \theoremstyle{definition}
 154           \newtheorem{problem}[thm]{Problem}
 155         EndPreamble
 156 End
 157
 158
 159 Style Exercise
 160         CopyStyle             Definition
 161         LatexName             xca
 162         LabelString           "Exercise \thetheorem."
 163         Preamble
 164           \theoremstyle{definition}
 165           \newtheorem{xca}[thm]{Exercise}
 166         EndPreamble
 167 End
 168
 169
 170 Style Remark
 171         CopyStyle             Theorem
 172         DependsOn                   Theorem
 173         LatexName             rem
 174         LabelString           "Remark \thetheorem."
 175         Font
 176           Shape               Up
 177           Size                Normal
 178         EndFont
 179         LabelFont
 180           Series              Medium
 181           Shape               Italic
 182         EndFont
 183         Preamble
 184           \theoremstyle{remark}
 185           \newtheorem{rem}[thm]{Remark}
 186         EndPreamble
 187 End
 188
 189
 190 Style Claim
 191         CopyStyle             Remark
 192         LatexName             claim
 193         LabelString           "Claim \thetheorem."
 194         Preamble
 195           \theoremstyle{remark}
 196           \newtheorem{claim}[thm]{Claim}
 197         EndPreamble
 198 End
 199
 200
 201 # Define Case as an enumeration environment
 202 Style Case
 203         Category              Theorem
 204         CopyStyle             Enumerate
 205         LatexName             caseenv
 206         LabelType             Static
 207         LeftMargin            "Case ###:"
 208         LabelString           "Case #:"
 209         Preamble
 210           \newcounter{casectr}
 211           \newenvironment{caseenv}
 212                         {\begin{list}{\bfseries\upshape Case \arabic{casectr}:}%
 213                         {}\setcounter{casectr}{0}\usecounter{casectr}}%
 214                 {\end{list}}
 215         EndPreamble
 216 End