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