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         DocBookTag            para
 114         DocBookAttr           role='theorem'
 115 End
 116
 117
 118 Style Corollary
 119         CopyStyle             Theorem
 120         LatexName             cor
 121         LabelString           "Corollary \thecorollary."
 122         Preamble
 123           \theoremstyle{plain}
 124           \newtheorem{cor}{\protect\corollaryname}
 125         EndPreamble
 126         LabelCounter          corollary
 127         LangPreamble
 128                 \providecommand{\corollaryname}{_(Corollary)}
 129         EndLangPreamble
 130         BabelPreamble
 131                 \addto\captions$$lang{\renewcommand{\corollaryname}{_(Corollary)}}
 132         EndBabelPreamble
 133         DocBookTag            para
 134         DocBookAttr           role='corollary'
 135 End
 136
 137
 138 Style Lemma
 139         CopyStyle             Theorem
 140         LatexName             lem
 141         LabelString           "Lemma \thelemma."
 142         Preamble
 143           \theoremstyle{plain}
 144           \newtheorem{lem}{\protect\lemmaname}
 145         EndPreamble
 146         LangPreamble
 147           \providecommand{\lemmaname}{_(Lemma)}
 148         EndLangPreamble
 149         BabelPreamble
 150           \addto\captions$$lang{\renewcommand{\lemmaname}{_(Lemma)}}
 151         EndBabelPreamble
 152         LabelCounter          lemma
 153         DocBookTag            para
 154         DocBookAttr           role='lemma'
 155 End
 156
 157
 158 Style Proposition
 159         CopyStyle             Theorem
 160         LatexName             prop
 161         LabelString           "Proposition \theproposition."
 162         Preamble
 163           \theoremstyle{plain}
 164           \newtheorem{prop}{\protect\propositionname}
 165         EndPreamble
 166         LangPreamble
 167           \providecommand{\propositionname}{_(Proposition)}
 168         EndLangPreamble
 169         BabelPreamble
 170           \addto\captions$$lang{\renewcommand{\propositionname}{_(Proposition)}}
 171         EndBabelPreamble
 172         LabelCounter          proposition
 173         DocBookTag            para
 174         DocBookAttr           role='proposition'
 175 End
 176
 177
 178 Style Conjecture
 179         CopyStyle             Theorem
 180         LatexName             conjecture
 181         LabelString           "Conjecture \theconjecture."
 182         Preamble
 183           \theoremstyle{plain}
 184           \newtheorem{conjecture}{\protect\conjecturename}
 185         EndPreamble
 186         LangPreamble
 187           \providecommand{\conjecturename}{_(Conjecture)}
 188         EndLangPreamble
 189         BabelPreamble
 190           \addto\captions$$lang{\renewcommand{\conjecturename}{_(Conjecture)}}
 191         EndBabelPreamble
 192         LabelCounter          conjecture
 193         DocBookTag            para
 194         DocBookAttr           role='conjecture'
 195 End
 196
 197
 198 Style Fact
 199         CopyStyle             Theorem
 200         LatexName             fact
 201         LabelString           "Fact \thefact."
 202         Preamble
 203           \theoremstyle{plain}
 204           \newtheorem{fact}{\protect\factname}
 205         EndPreamble
 206         LangPreamble
 207           \providecommand{\factname}{_(Fact)}
 208         EndLangPreamble
 209         BabelPreamble
 210           \addto\captions$$lang{\renewcommand{\factname}{_(Fact)}}
 211         EndBabelPreamble
 212         LabelCounter          fact
 213         DocBookTag            para
 214         DocBookAttr           role='fact'
 215 End
 216
 217
 218 Style Definition
 219         CopyStyle             Theorem
 220         LatexName             defn
 221         LabelString           "Definition \thedefinition."
 222         Font
 223           Shape               Up
 224         EndFont
 225         LabelFont
 226           Shape               Up
 227           Series              Bold
 228         EndFont
 229         Preamble
 230           \theoremstyle{definition}
 231           \newtheorem{defn}{\protect\definitionname}
 232         EndPreamble
 233         LangPreamble
 234           \providecommand{\definitionname}{_(Definition)}
 235         EndLangPreamble
 236         BabelPreamble
 237           \addto\captions$$lang{\renewcommand{\definitionname}{_(Definition)}}
 238         EndBabelPreamble
 239         LabelCounter          definition
 240         DocBookTag            para
 241         DocBookAttr           role='definition'
 242 End
 243
 244
 245 Style Example
 246         CopyStyle             Definition
 247         LatexName             example
 248         LabelString           "Example \theexample."
 249         Preamble
 250          \theoremstyle{definition}
 251           \newtheorem{example}{\protect\examplename}
 252         EndPreamble
 253         Requires              amsthm
 254         LangPreamble
 255           \providecommand{\examplename}{_(Example)}
 256         EndLangPreamble
 257         BabelPreamble
 258           \addto\captions$$lang{\renewcommand{\examplename}{_(Example)}}
 259         EndBabelPreamble
 260         LabelCounter          example
 261         DocBookWrapperTag     informalexample
 262         DocBookTag            para
 263         DocBookAttr        ""
 264 End
 265
 266
 267 Style Problem
 268         CopyStyle             Definition
 269         LatexName             problem
 270         LabelString           "Problem \theproblem."
 271         Preamble
 272           \theoremstyle{definition}
 273           \newtheorem{problem}{\protect\problemname}
 274         EndPreamble
 275         Requires              amsthm
 276         LangPreamble
 277           \providecommand{\problemname}{_(Problem)}
 278         EndLangPreamble
 279         BabelPreamble
 280           \addto\captions$$lang{\renewcommand{\problemname}{_(Problem)}}
 281         EndBabelPreamble
 282         LabelCounter          problem
 283         DocBookTag            para
 284         DocBookAttr           role='problem'
 285 End
 286
 287
 288 Style Exercise
 289         CopyStyle             Definition
 290         LatexName             xca
 291         LabelString           "Exercise \theexercise."
 292         Preamble
 293           \theoremstyle{definition}
 294           \newtheorem{xca}{\protect\exercisename}
 295         EndPreamble
 296         Requires              amsthm
 297         LangPreamble
 298           \providecommand{\exercisename}{_(Exercise)}
 299         EndLangPreamble
 300         BabelPreamble
 301           \addto\captions$$lang{\renewcommand{\exercisename}{_(Exercise)}}
 302         EndBabelPreamble
 303         LabelCounter          exercise
 304         DocBookTag            para
 305         DocBookAttr           role='exercise'
 306 End
 307
 308
 309 Style Solution
 310         CopyStyle             Definition
 311         LatexName             sol
 312         LabelString           "Solution \thesolution."
 313         Preamble
 314           \theoremstyle{definition}
 315           \newtheorem{sol}{\protect\solutionname}
 316         EndPreamble
 317         Requires              amsthm
 318         LangPreamble
 319                 \providecommand{\solutionname}{_(Solution)}
 320         EndLangPreamble
 321         BabelPreamble
 322                 \addto\captions$$lang{\renewcommand{\solutionname}{_(Solution)}}
 323         EndBabelPreamble
 324         LabelCounter          solution
 325         DocBookTag            para
 326         DocBookAttr           role='solution'
 327 End
 328
 329
 330 Style Remark
 331         CopyStyle             Theorem
 332         LatexName             rem
 333         LabelString           "Remark \theremark."
 334         Font
 335           Shape               Up
 336           Size                Normal
 337         EndFont
 338         LabelFont
 339           Series              Medium
 340           Shape               Italic
 341         EndFont
 342         Preamble
 343           \theoremstyle{remark}
 344           \newtheorem{rem}{\protect\remarkname}
 345         EndPreamble
 346         LangPreamble
 347           \providecommand{\remarkname}{_(Remark)}
 348         EndLangPreamble
 349         BabelPreamble
 350           \addto\captions$$lang{\renewcommand{\remarkname}{_(Remark)}}
 351         EndBabelPreamble
 352         LabelCounter          remark
 353         DocBookTag            note
 354         DocBookItemTag        para
 355 End
 356
 357
 358 Style Claim
 359         CopyStyle             Remark
 360         LatexName             claim
 361         LabelString           "Claim \theclaim."
 362         Preamble
 363           \theoremstyle{remark}
 364           \newtheorem{claim}{\protect\claimname}
 365         EndPreamble
 366         Requires              amsthm
 367         LangPreamble
 368           \providecommand{\claimname}{_(Claim)}
 369         EndLangPreamble
 370         BabelPreamble
 371           \addto\captions$$lang{\renewcommand{\claimname}{_(Claim)}}
 372         EndBabelPreamble
 373         LabelCounter          claim
 374         DocBookTag            para
 375         DocBookAttr           role='claim'
 376         DocBookItemTag        ""
 377 End
 378
 379 Input theorems-case.inc