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