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