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