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