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 environments defined are :
   8 # - Theorem
   9 # - Corollary
  10 # - Lemma
  11 # - Proposition
  12 # - Conjecture
  13 # - Fact
  14 # - Definition
  15 # - Example
  16 # - Problem
  17 # - Exercise
  18 # - Solution
  19 # - Remark
  20 # - Claim
  21 # - Case (by inclusion)
  22
  23 Format 57
  24
  25 Style Theorem
  26         Category              Reasoning
  27         Margin                First_Dynamic
  28         LatexType             Environment
  29         LatexName             thm
  30         NextNoIndent          1
  31         ResetArgs             1
  32         Argument 1
  33                 LabelString    "Additional Theorem Text"
  34                 Tooltip        "Additional text appended to the theorem header"
  35         EndArgument
  36         LabelSep              xx
  37         ParIndent             MMM
  38         ParSkip               0.4
  39         ItemSep               0.2
  40         TopSep                0.7
  41         BottomSep             0.7
  42         ParSep                0.3
  43         Align                 Block
  44         AlignPossible         Left
  45         LabelType             Static
  46         LabelCounter          theorem
  47         LabelString           "Theorem \thetheorem."
  48         Font
  49           Shape               Italic
  50           Size                Normal
  51         EndFont
  52         LabelFont
  53           Shape               Up
  54           Series              Bold
  55         EndFont
  56         Preamble
  57                 \theoremstyle{plain}
  58                 \newtheorem{thm}{\protect\theoremname}
  59         EndPreamble
  60         LangPreamble
  61                 \providecommand{\theoremname}{_(Theorem)}
  62         EndLangPreamble
  63         BabelPreamble
  64                 \addto\captions$$lang{\renewcommand{\theoremname}{_(Theorem)}}
  65         EndBabelPreamble
  66         Requires              amsthm
  67 End
  68
  69
  70 Style Corollary
  71         CopyStyle             Theorem
  72         DependsOn             Theorem
  73         LatexName             cor
  74         LabelString           "Corollary \thetheorem."
  75         Preamble
  76                 \theoremstyle{plain}
  77                 \newtheorem{cor}[thm]{\protect\corollaryname}
  78         EndPreamble
  79         LangPreamble
  80                 \providecommand{\corollaryname}{_(Corollary)}
  81         EndLangPreamble
  82         BabelPreamble
  83                 \addto\captions$$lang{\renewcommand{\corollaryname}{_(Corollary)}}
  84         EndBabelPreamble
  85 End
  86
  87
  88 Style Lemma
  89         CopyStyle             Theorem
  90         DependsOn             Theorem
  91         LatexName             lem
  92         LabelString           "Lemma \thetheorem."
  93         Preamble
  94                 \theoremstyle{plain}
  95                 \newtheorem{lem}[thm]{\protect\lemmaname}
  96         EndPreamble
  97         LangPreamble
  98                 \providecommand{\lemmaname}{_(Lemma)}
  99         EndLangPreamble
 100         BabelPreamble
 101                 \addto\captions$$lang{\renewcommand{\lemmaname}{_(Lemma)}}
 102         EndBabelPreamble
 103 End
 104
 105
 106 Style Proposition
 107         CopyStyle             Theorem
 108         DependsOn             Theorem
 109         LatexName             prop
 110         LabelString           "Proposition \thetheorem."
 111         Preamble
 112                 \theoremstyle{plain}
 113                 \newtheorem{prop}[thm]{\protect\propositionname}
 114         EndPreamble
 115         LangPreamble
 116                 \providecommand{\propositionname}{_(Proposition)}
 117         EndLangPreamble
 118         BabelPreamble
 119                 \addto\captions$$lang{\renewcommand{\propositionname}{_(Proposition)}}
 120         EndBabelPreamble
 121 End
 122
 123
 124 Style Conjecture
 125         CopyStyle             Theorem
 126         DependsOn             Theorem
 127         LatexName             conjecture
 128         LabelString           "Conjecture \thetheorem."
 129         Preamble
 130                 \theoremstyle{plain}
 131                 \newtheorem{conjecture}[thm]{\protect\conjecturename}
 132         EndPreamble
 133         LangPreamble
 134                 \providecommand{\conjecturename}{_(Conjecture)}
 135         EndLangPreamble
 136         BabelPreamble
 137                 \addto\captions$$lang{\renewcommand{\conjecturename}{_(Conjecture)}}
 138         EndBabelPreamble
 139 End
 140
 141
 142 Style Fact
 143         CopyStyle             Theorem
 144         DependsOn             Theorem
 145         LatexName             fact
 146         LabelString           "Fact \thetheorem."
 147         Preamble
 148                 \theoremstyle{plain}
 149                 \newtheorem{fact}[thm]{\protect\factname}
 150         EndPreamble
 151         LangPreamble
 152                 \providecommand{\factname}{_(Fact)}
 153         EndLangPreamble
 154         BabelPreamble
 155                 \addto\captions$$lang{\renewcommand{\factname}{_(Fact)}}
 156         EndBabelPreamble
 157 End
 158
 159
 160 Style Definition
 161         CopyStyle             Theorem
 162         DependsOn             Theorem
 163         LatexName             defn
 164         LabelString           "Definition \thetheorem."
 165         Font
 166           Shape               Up
 167         EndFont
 168         LabelFont
 169           Shape               Up
 170           Series              Bold
 171         EndFont
 172         Preamble
 173                 \theoremstyle{definition}
 174                 \newtheorem{defn}[thm]{\protect\definitionname}
 175         EndPreamble
 176         LangPreamble
 177                 \providecommand{\definitionname}{_(Definition)}
 178         EndLangPreamble
 179         BabelPreamble
 180                 \addto\captions$$lang{\renewcommand{\definitionname}{_(Definition)}}
 181         EndBabelPreamble
 182 End
 183
 184
 185 Style Example
 186         CopyStyle             Definition
 187         LatexName             example
 188         LabelString           "Example \thetheorem."
 189         Preamble
 190                 \theoremstyle{definition}
 191                 \newtheorem{example}[thm]{\protect\examplename}
 192         EndPreamble
 193         LangPreamble
 194                 \providecommand{\examplename}{_(Example)}
 195         EndLangPreamble
 196         BabelPreamble
 197                 \addto\captions$$lang{\renewcommand{\examplename}{_(Example)}}
 198         EndBabelPreamble
 199 End
 200
 201
 202 Style Problem
 203         CopyStyle             Definition
 204         LatexName             problem
 205         LabelString           "Problem \thetheorem."
 206         Preamble
 207                 \theoremstyle{definition}
 208                 \newtheorem{problem}[thm]{\protect\problemname}
 209         EndPreamble
 210         LangPreamble
 211                 \providecommand{\problemname}{_(Problem)}
 212         EndLangPreamble
 213         BabelPreamble
 214                 \addto\captions$$lang{\renewcommand{\problemname}{_(Problem)}}
 215         EndBabelPreamble
 216 End
 217
 218
 219 Style Exercise
 220         CopyStyle             Definition
 221         LatexName             xca
 222         LabelString           "Exercise \thetheorem."
 223         Preamble
 224                 \theoremstyle{definition}
 225                 \newtheorem{xca}[thm]{\protect\exercisename}
 226         EndPreamble
 227         LangPreamble
 228                 \providecommand{\exercisename}{_(Exercise)}
 229         EndLangPreamble
 230         BabelPreamble
 231                 \addto\captions$$lang{\renewcommand{\exercisename}{_(Exercise)}}
 232         EndBabelPreamble
 233 End
 234
 235
 236 Style Solution
 237         CopyStyle             Definition
 238         LatexName             sol
 239         LabelString           "Solution \thetheorem."
 240         Preamble
 241                 \theoremstyle{definition}
 242                 \newtheorem{sol}[thm]{\protect\solutionname}
 243         EndPreamble
 244         LangPreamble
 245                 \providecommand{\solutionname}{_(Solution)}
 246         EndLangPreamble
 247         BabelPreamble
 248                 \addto\captions$$lang{\renewcommand{\solutionname}{_(Solution)}}
 249         EndBabelPreamble
 250 End
 251
 252
 253 Style Remark
 254         CopyStyle             Theorem
 255         DependsOn             Theorem
 256         LatexName             rem
 257         LabelString           "Remark \thetheorem."
 258         Font
 259           Shape               Up
 260           Size                Normal
 261         EndFont
 262         LabelFont
 263           Series              Medium
 264           Shape               Italic
 265         EndFont
 266         Preamble
 267                 \theoremstyle{remark}
 268                 \newtheorem{rem}[thm]{\protect\remarkname}
 269         EndPreamble
 270         LangPreamble
 271                 \providecommand{\remarkname}{_(Remark)}
 272         EndLangPreamble
 273         BabelPreamble
 274                 \addto\captions$$lang{\renewcommand{\remarkname}{_(Remark)}}
 275         EndBabelPreamble
 276 End
 277
 278
 279 Style Claim
 280         CopyStyle             Remark
 281         LatexName             claim
 282         LabelString           "Claim \thetheorem."
 283         Preamble
 284                 \theoremstyle{remark}
 285                 \newtheorem{claim}[thm]{\protect\claimname}
 286         EndPreamble
 287         LangPreamble
 288                 \providecommand{\claimname}{_(Claim)}
 289         EndLangPreamble
 290         BabelPreamble
 291                 \addto\captions$$lang{\renewcommand{\claimname}{_(Claim)}}
 292         EndBabelPreamble
 293 End
 294
 295 Input theorems-case.inc
 296 Input theorems-refprefix.inc