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
  21 Format 6
  22
  23 Style Theorem
  24         Margin                First_Dynamic
  25         LatexType             Environment
  26         LatexName             thm
  27         NextNoIndent          1
  28         OptionalArgs          1
  29         LabelSep              xx
  30         ParIndent             MMM
  31         ParSkip               0.4
  32         ItemSep               0.2
  33         TopSep                0.7
  34         BottomSep             0.7
  35         ParSep                0.3
  36         Align                 Block
  37         AlignPossible         Block, Left
  38         LabelType             Counter
  39         LabelCounter          theorem
  40         LabelString           "Theorem \thetheorem."
  41         Font
  42           Shape               Italic
  43           Size                Normal
  44         EndFont
  45         LabelFont
  46           Shape               Up
  47           Series              Bold
  48         EndFont
  49         Preamble
  50                 \theoremstyle{plain}
  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           \theoremstyle{plain}
  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           \theoremstyle{plain}
  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           \theoremstyle{plain}
  87           \newtheorem{prop}[thm]{Proposition}
  88         EndPreamble
  89 End
  90
  91
  92 Style Conjecture
  93         CopyStyle             Theorem
  94         DependsOn             Theorem
  95         LatexName             conjecture
  96         LabelString           "Conjecture \thetheorem."
  97         Preamble
  98           \theoremstyle{plain}
  99           \newtheorem{conjecture}[thm]{Conjecture}
 100         EndPreamble
 101 End
 102
 103
 104 Style Fact
 105         CopyStyle             Theorem
 106         DependsOn             Theorem
 107         LatexName             fact
 108         LabelString           "Fact \thetheorem."
 109         Preamble
 110           \theoremstyle{plain}
 111           \newtheorem{fact}[thm]{Fact}
 112         EndPreamble
 113 End
 114
 115
 116 Style Definition
 117         CopyStyle             Theorem
 118         DependsOn             Theorem
 119         LatexName             defn
 120         LabelString           "Definition \thetheorem."
 121         Font
 122           Shape               Up
 123         EndFont
 124         LabelFont
 125           Shape               Up
 126           Series              Bold
 127         EndFont
 128         Preamble
 129           \theoremstyle{definition}
 130           \newtheorem{defn}[thm]{Definition}
 131         EndPreamble
 132 End
 133
 134
 135 Style Example
 136         CopyStyle             Definition
 137         LatexName             example
 138         LabelString           "Example \thetheorem."
 139         Preamble
 140          \theoremstyle{definition}
 141           \newtheorem{example}[thm]{Example}
 142         EndPreamble
 143 End
 144
 145
 146 Style Problem
 147         CopyStyle             Definition
 148         LatexName             problem
 149         LabelString           "Problem \thetheorem."
 150         Preamble
 151           \theoremstyle{definition}
 152           \newtheorem{problem}[thm]{Problem}
 153         EndPreamble
 154 End
 155
 156
 157 Style Exercise
 158         CopyStyle             Definition
 159         LatexName             xca
 160         LabelString           "Exercise \thetheorem."
 161         Preamble
 162           \theoremstyle{definition}
 163           \newtheorem{xca}[thm]{Exercise}
 164         EndPreamble
 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 End
 197
 198