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         Margin                First_Dynamic
  26         LatexType             Environment
  27         LatexName             thm
  28         NextNoIndent          1
  29         OptionalArgs          1
  30         LabelSep              xx
  31         ParIndent             MMM
  32         ParSkip               0.4
  33         ItemSep               0.2
  34         TopSep                0.7
  35         BottomSep             0.7
  36         ParSep                0.3
  37         Align                 Block
  38         AlignPossible         Left
  39         LabelType             Counter
  40         LabelCounter          theorem
  41         LabelString           "Theorem \thetheorem."
  42         Font
  43           Shape               Italic
  44           Size                Normal
  45         EndFont
  46         LabelFont
  47           Shape               Up
  48           Series              Bold
  49         EndFont
  50         Preamble
  51                 \theoremstyle{plain}
  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           \theoremstyle{plain}
  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           \theoremstyle{plain}
  76           \newtheorem{lem}[thm]{Lemma}
  77         EndPreamble
  78 End
  79
  80
  81 Style Proposition
  82         CopyStyle             Theorem
  83         DependsOn             Theorem
  84         LatexName             prop
  85         LabelString           "Proposition \thetheorem."
  86         Preamble
  87           \theoremstyle{plain}
  88           \newtheorem{prop}[thm]{Proposition}
  89         EndPreamble
  90 End
  91
  92
  93 Style Conjecture
  94         CopyStyle             Theorem
  95         DependsOn             Theorem
  96         LatexName             conjecture
  97         LabelString           "Conjecture \thetheorem."
  98         Preamble
  99           \theoremstyle{plain}
 100           \newtheorem{conjecture}[thm]{Conjecture}
 101         EndPreamble
 102 End
 103
 104
 105 Style Fact
 106         CopyStyle             Theorem
 107         DependsOn             Theorem
 108         LatexName             fact
 109         LabelString           "Fact \thetheorem."
 110         Preamble
 111           \theoremstyle{plain}
 112           \newtheorem{fact}[thm]{Fact}
 113         EndPreamble
 114 End
 115
 116
 117 Style Definition
 118         CopyStyle             Theorem
 119         DependsOn             Theorem
 120         LatexName             defn
 121         LabelString           "Definition \thetheorem."
 122         Font
 123           Shape               Up
 124         EndFont
 125         LabelFont
 126           Shape               Up
 127           Series              Bold
 128         EndFont
 129         Preamble
 130           \theoremstyle{definition}
 131           \newtheorem{defn}[thm]{Definition}
 132         EndPreamble
 133 End
 134
 135
 136 Style Example
 137         CopyStyle             Definition
 138         LatexName             example
 139         LabelString           "Example \thetheorem."
 140         Preamble
 141          \theoremstyle{definition}
 142           \newtheorem{example}[thm]{Example}
 143         EndPreamble
 144 End
 145
 146
 147 Style Problem
 148         CopyStyle             Definition
 149         LatexName             problem
 150         LabelString           "Problem \thetheorem."
 151         Preamble
 152           \theoremstyle{definition}
 153           \newtheorem{problem}[thm]{Problem}
 154         EndPreamble
 155 End
 156
 157
 158 Style Exercise
 159         CopyStyle             Definition
 160         LatexName             xca
 161         LabelString           "Exercise \thetheorem."
 162         Preamble
 163           \theoremstyle{definition}
 164           \newtheorem{xca}[thm]{Exercise}
 165         EndPreamble
 166 End
 167
 168
 169 Style Remark
 170         CopyStyle             Theorem
 171         DependsOn             Theorem
 172         LatexName             rem
 173         LabelString           "Remark \thetheorem."
 174         Font
 175           Shape               Up
 176           Size                Normal
 177         EndFont
 178         LabelFont
 179           Series              Medium
 180           Shape               Italic
 181         EndFont
 182         Preamble
 183           \theoremstyle{remark}
 184           \newtheorem{rem}[thm]{Remark}
 185         EndPreamble
 186 End
 187
 188
 189 Style Claim
 190         CopyStyle             Remark
 191         LatexName             claim
 192         LabelString           "Claim \thetheorem."
 193         Preamble
 194           \theoremstyle{remark}
 195           \newtheorem{claim}[thm]{Claim}
 196         EndPreamble
 197 End
 198
 199
 200 # Define Case as an enumeration environment
 201 Style Case
 202         CopyStyle             Enumerate
 203         LatexName             caseenv
 204         LabelType             Static
 205         LeftMargin            "MMMMMMN"
 206         LabelString           "Case #:"
 207         Preamble
 208           \newcounter{casectr}
 209           \newenvironment{caseenv}
 210 {\begin{list}{\bfseries\upshape Case \arabic{casectr}:}{}\setcounter{casectr}{0}\usecounter{casectr}}
 211 {\end{list}}
 212         EndPreamble
 213 End