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