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