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 8
  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         Requires              amsthm
  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         Requires              amsthm
 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         Requires              amsthm
 159 End
 160
 161
 162 Style Exercise
 163         CopyStyle             Definition
 164         LatexName             xca
 165         LabelString           "Exercise \thetheorem."
 166         Preamble
 167           \theoremstyle{definition}
 168           \newtheorem{xca}[thm]{Exercise}
 169         EndPreamble
 170         Requires              amsthm
 171 End
 172
 173
 174 Style Remark
 175         CopyStyle             Theorem
 176         DependsOn             Theorem
 177         LatexName             rem
 178         LabelString           "Remark \thetheorem."
 179         Font
 180           Shape               Up
 181           Size                Normal
 182         EndFont
 183         LabelFont
 184           Series              Medium
 185           Shape               Italic
 186         EndFont
 187         Preamble
 188           \theoremstyle{remark}
 189           \newtheorem{rem}[thm]{Remark}
 190         EndPreamble
 191 End
 192
 193
 194 Style Claim
 195         CopyStyle             Remark
 196         LatexName             claim
 197         LabelString           "Claim \thetheorem."
 198         Preamble
 199           \theoremstyle{remark}
 200           \newtheorem{claim}[thm]{Claim}
 201         EndPreamble
 202         Requires              amsthm
 203 End
 204
 205
 206 # Define Case as an enumeration environment
 207 Style Case
 208         Category              Theorem
 209         CopyStyle             Enumerate
 210         LatexName             caseenv
 211         LabelType             Static
 212         LeftMargin            "Case ###."
 213         LabelString           "Case #."
 214         LabelFont
 215           Series              Medium
 216           Shape               Italic
 217         EndFont
 218         Preamble
 219           \newcounter{casectr}
 220           \newenvironment{caseenv}
 221           {\begin{list}{{\itshape\ Case} \arabic{casectr}.}{%
 222            \setlength{\leftmargin}{\labelwidth}
 223            \addtolength{\leftmargin}{\parskip}
 224            \setlength{\itemindent}{\listparindent}
 225            \setlength{\itemsep}{\medskipamount}
 226            \setlength{\topsep}{\itemsep}}
 227            \setcounter{casectr}{0}
 228            \usecounter{casectr}}
 229           {\end{list}}
 230         EndPreamble
 231 End