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                 \usepackage{amsthm}
  53                 \theoremstyle{plain}
  54                 \newtheorem{thm}{Theorem}
  55         EndPreamble
  56 End
  57
  58
  59 Style Corollary
  60         CopyStyle             Theorem
  61         DependsOn                         Theorem
  62         LatexName             cor
  63         LabelString           "Corollary \thetheorem."
  64         Preamble
  65           \theoremstyle{plain}
  66           \newtheorem{cor}[thm]{Corollary}
  67         EndPreamble
  68 End
  69
  70
  71 Style Lemma
  72         CopyStyle             Theorem
  73         DependsOn                   Theorem
  74         LatexName             lem
  75         LabelString           "Lemma \thetheorem."
  76         Preamble
  77           \theoremstyle{plain}
  78           \newtheorem{lem}[thm]{Lemma}
  79         EndPreamble
  80 End
  81
  82
  83 Style Proposition
  84         CopyStyle             Theorem
  85         DependsOn                   Theorem
  86         LatexName             prop
  87         LabelString           "Proposition \thetheorem."
  88         Preamble
  89           \theoremstyle{plain}
  90           \newtheorem{prop}[thm]{Proposition}
  91         EndPreamble
  92 End
  93
  94
  95 Style Conjecture
  96         CopyStyle             Theorem
  97         DependsOn                   Theorem
  98         LatexName             conjecture
  99         LabelString           "Conjecture \thetheorem."
 100         Preamble
 101           \theoremstyle{plain}
 102           \newtheorem{conjecture}[thm]{Conjecture}
 103         EndPreamble
 104 End
 105
 106
 107 Style Fact
 108         CopyStyle             Theorem
 109         DependsOn                   Theorem
 110         LatexName             fact
 111         LabelString           "Fact \thetheorem."
 112         Preamble
 113           \theoremstyle{plain}
 114           \newtheorem{fact}[thm]{Fact}
 115         EndPreamble
 116 End
 117
 118
 119 Style Definition
 120         CopyStyle             Theorem
 121         DependsOn                   Theorem
 122         LatexName             defn
 123         LabelString           "Definition \thetheorem."
 124         Font
 125           Shape               Up
 126         EndFont
 127         LabelFont
 128           Shape               Up
 129           Series              Bold
 130         EndFont
 131         Preamble
 132           \theoremstyle{definition}
 133           \newtheorem{defn}[thm]{Definition}
 134         EndPreamble
 135 End
 136
 137
 138 Style Example
 139         CopyStyle             Definition
 140         LatexName             example
 141         LabelString           "Example \thetheorem."
 142         Preamble
 143          \theoremstyle{definition}
 144           \newtheorem{example}[thm]{Example}
 145         EndPreamble
 146 End
 147
 148
 149 Style Problem
 150         CopyStyle             Definition
 151         LatexName             problem
 152         LabelString           "Problem \thetheorem."
 153         Preamble
 154           \theoremstyle{definition}
 155           \newtheorem{problem}[thm]{Problem}
 156         EndPreamble
 157 End
 158
 159
 160 Style Exercise
 161         CopyStyle             Definition
 162         LatexName             xca
 163         LabelString           "Exercise \thetheorem."
 164         Preamble
 165           \theoremstyle{definition}
 166           \newtheorem{xca}[thm]{Exercise}
 167         EndPreamble
 168 End
 169
 170
 171 Style Remark
 172         CopyStyle             Theorem
 173         DependsOn                   Theorem
 174         LatexName             rem
 175         LabelString           "Remark \thetheorem."
 176         Font
 177           Shape               Up
 178           Size                Normal
 179         EndFont
 180         LabelFont
 181           Series              Medium
 182           Shape               Italic
 183         EndFont
 184         Preamble
 185           \theoremstyle{remark}
 186           \newtheorem{rem}[thm]{Remark}
 187         EndPreamble
 188 End
 189
 190
 191 Style Claim
 192         CopyStyle             Remark
 193         LatexName             claim
 194         LabelString           "Claim \thetheorem."
 195         Preamble
 196           \theoremstyle{remark}
 197           \newtheorem{claim}[thm]{Claim}
 198         EndPreamble
 199 End
 200
 201
 202 # Define Case as an enumeration environment
 203 Style Case
 204         Category              Theorem
 205         CopyStyle             Enumerate
 206         LatexName             caseenv
 207         LabelType             Static
 208         LeftMargin            "Case ###:"
 209         LabelString           "Case #:"
 210         Preamble
 211           \newcounter{casectr}
 212           \newenvironment{caseenv}
 213                         {\begin{list}{\bfseries\upshape Case \arabic{casectr}:}%
 214                         {}\setcounter{casectr}{0}\usecounter{casectr}}%
 215                 {\end{list}}
 216         EndPreamble
 217 End