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