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