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