lib/layouts/theorems-without-preamble.inc

   1 # This file provides theorem environments without adding preamble code or
   2 # requiring packages. This is useful for classes that define their own theorems
   3 # like svjour3 or ijmpc.
   4 # Author: Uwe Stöhr <uwestoehr@web.de>
   5
   6 # The environnements defined are :
   7 # - Theorem
   8 # - Corollary
   9 # - Lemma
  10 # - Proposition
  11 # - Prop
  12 # - Conjecture
  13 # - Fact
  14 # - Definition
  15 # - Example
  16 # - Problem
  17 # - Prob
  18 # - Solution
  19 # - Sol
  20 # - Exercise
  21 # - Remark
  22 # - Claim
  23 # - Case (defined without a counter)
  24 # - Property
  25 # - Question
  26 # - Note
  27
  28
  29 Format 92
  30
  31 OutlinerName thm "Definitions & Theorems"
  32
  33 Counter         theorem
  34         GuiName Theorem
  35         LaTeXName thm
  36 End
  37
  38 Style Theorem
  39         Category        Reasoning
  40         Margin          First_Dynamic
  41         LatexType       Environment
  42         LatexName       theorem
  43         NextNoIndent    1
  44         AddToToc              thm
  45         IsTocCaption          1
  46         Argument 1
  47           LabelString   "Name/Title"
  48           Tooltip       "Alternative optional name or title"
  49           IsTocCaption      1
  50         EndArgument
  51         LabelSep        xx
  52         ParIndent       MMM
  53         ParSkip         0.4
  54         ItemSep         0.2
  55         TopSep          0.7
  56         BottomSep       0.7
  57         ParSep          0.3
  58         Align           Block
  59         AlignPossible   Left
  60         LabelType       Static
  61         LabelCounter    theorem
  62         LabelString     "Theorem \thetheorem."
  63         Font
  64           Shape         Italic
  65           Size          Normal
  66         EndFont
  67         LabelFont
  68           Shape         Up
  69           Series        Bold
  70         EndFont
  71         LangPreamble
  72           \providecommand{\theoremname}{_(Theorem)}
  73         EndLangPreamble
  74         BabelPreamble
  75           \addto\captions$$lang{\renewcommand{\theoremname}{_(Theorem)}}
  76         EndBabelPreamble
  77         DocBookTag            para
  78         DocBookAttr           role='theorem'
  79 End
  80
  81
  82 Counter         corollary
  83         GuiName Corollary
  84 End
  85 Style Corollary
  86         CopyStyle       Theorem
  87         LabelCounter    corollary
  88         LatexName       corollary
  89         LabelString     "Corollary \thecorollary."
  90         LangPreamble
  91           \providecommand{\corollaryname}{_(Corollary)}
  92         EndLangPreamble
  93         BabelPreamble
  94           \addto\captions$$lang{\renewcommand{\corollaryname}{_(Corollary)}}
  95         EndBabelPreamble
  96         DocBookTag            para
  97         DocBookAttr           role='corollary'
  98 End
  99
 100
 101 Counter         lemma
 102         GuiName Lemma
 103 End
 104 Style Lemma
 105         CopyStyle       Theorem
 106         LabelCounter    lemma
 107         LatexName       lemma
 108         LabelString     "Lemma \thelemma."
 109         LangPreamble
 110           \providecommand{\lemmaname}{_(Lemma)}
 111         EndLangPreamble
 112         BabelPreamble
 113           \addto\captions$$lang{\renewcommand{\lemmaname}{_(Lemma)}}
 114         EndBabelPreamble
 115         DocBookTag            para
 116         DocBookAttr           role='lemma'
 117 End
 118
 119
 120 Counter         proposition
 121         GuiName Proposition
 122 End
 123 Style Proposition
 124         CopyStyle       Theorem
 125         LabelCounter    proposition
 126         LatexName       proposition
 127         LabelString     "Proposition \theproposition."
 128         LangPreamble
 129           \providecommand{\propositionname}{_(Proposition)}
 130         EndLangPreamble
 131         BabelPreamble
 132           \addto\captions$$lang{\renewcommand{\propositionname}{_(Proposition)}}
 133         EndBabelPreamble
 134         DocBookTag            para
 135         DocBookAttr           role='proposition'
 136 End
 137
 138
 139 Counter         prop
 140         GuiName Prop(osition)
 141 End
 142 Style Prop
 143         CopyStyle       Theorem
 144         LabelCounter    prop
 145         LatexName       prop
 146         LabelString     "Prop \theprop."
 147         Font
 148           Shape         Up
 149         EndFont
 150         LabelFont
 151           Series        Medium
 152         EndFont
 153         DocBookTag            para
 154         DocBookAttr           role='proposition'
 155 End
 156
 157
 158 Counter         conjecture
 159         GuiName Conjecture
 160 End
 161 Style Conjecture
 162         CopyStyle       Theorem
 163         LabelCounter    conjecture
 164         LatexName       conjecture
 165         LabelString     "Conjecture \theconjecture."
 166         Font
 167           Shape         Up
 168         EndFont
 169         LabelFont
 170           Series        Medium
 171           Shape         Italic
 172         EndFont
 173         LangPreamble
 174           \providecommand{\conjecturename}{_(Conjecture)}
 175         EndLangPreamble
 176         BabelPreamble
 177           \addto\captions$$lang{\renewcommand{\conjecturename}{_(Conjecture)}}
 178         EndBabelPreamble
 179         DocBookTag            para
 180         DocBookAttr           role='conjecture'
 181 End
 182
 183
 184 Counter         fact
 185         GuiName Fact
 186 End
 187 Style Fact
 188         CopyStyle       Theorem
 189         LabelCounter    fact
 190         LatexName       fact
 191         LabelString     "Fact \thefact."
 192         LangPreamble
 193           \providecommand{\factname}{_(Fact)}
 194         EndLangPreamble
 195         BabelPreamble
 196           \addto\captions$$lang{\renewcommand{\factname}{_(Fact)}}
 197         EndBabelPreamble
 198         DocBookTag            para
 199         DocBookAttr           role='fact'
 200 End
 201
 202
 203 Counter         definition
 204         GuiName Definition
 205 End
 206 Style Definition
 207         CopyStyle       Theorem
 208         LabelCounter    definition
 209         LatexName       definition
 210         LabelString     "Definition \thedefinition."
 211         RefPrefix       def
 212         Font
 213           Shape         Up
 214         EndFont
 215         LabelFont
 216           Shape         Up
 217           Series        Bold
 218         EndFont
 219         LangPreamble
 220           \providecommand{\definitionname}{_(Definition)}
 221         EndLangPreamble
 222         BabelPreamble
 223           \addto\captions$$lang{\renewcommand{\definitionname}{_(Definition)}}
 224         EndBabelPreamble
 225         DocBookTag            para
 226         DocBookAttr           role='definition'
 227 End
 228
 229
 230 Counter         example
 231         GuiName Example
 232 End
 233 Style Example
 234         CopyStyle       Conjecture
 235         LabelCounter    example
 236         LatexName       example
 237         LabelString     "Example \theexample."
 238         RefPrefix       exa
 239         LangPreamble
 240           \providecommand{\examplename}{_(Example)}
 241         EndLangPreamble
 242         BabelPreamble
 243           \addto\captions$$lang{\renewcommand{\examplename}{_(Example)}}
 244         EndBabelPreamble
 245         DocBookWrapperTag     informalexample
 246         DocBookTag            para
 247         DocBookAttr        ""
 248 End
 249
 250
 251 Counter         problem
 252         GuiName Problem
 253 End
 254 Style Problem
 255         CopyStyle       Definition
 256         Category        Exercise
 257         LabelCounter    problem
 258         LatexName       problem
 259         LabelString     "Problem \theproblem."
 260         RefPrefix       prob
 261         LangPreamble
 262           \providecommand{\problemname}{_(Problem)}
 263         EndLangPreamble
 264         BabelPreamble
 265           \addto\captions$$lang{\renewcommand{\problemname}{_(Problem)}}
 266         EndBabelPreamble
 267         DocBookTag            para
 268         DocBookAttr           role='problem'
 269 End
 270
 271
 272 Counter         prob
 273         GuiName Prob(lem)
 274   Within        chapter
 275 End
 276 # Prob does not copy a style to avoid preamble code
 277 Style Prob
 278         Category        Exercise
 279         LatexType       Environment
 280         LatexName       prob
 281         Margin          First_Dynamic
 282         LabelType       Static
 283         LabelCounter    prob
 284         LabelString     "\theprob."
 285         RefPrefix       pro
 286         NextNoIndent    1
 287         ResetArgs       1
 288         LabelSep        xx
 289         ParIndent       MMM
 290         ParSkip         0.4
 291         ItemSep         0.2
 292         TopSep          0.7
 293         BottomSep       0.7
 294         ParSep          0.3
 295         Align           Block
 296         AlignPossible   Left
 297         LabelFont
 298           Series        Bold
 299         EndFont
 300         AddToToc        thm
 301         IsTocCaption    true
 302         DocBookTag            para
 303         DocBookAttr           role='problem'
 304 End
 305
 306
 307 Counter         solution
 308         GuiName Solution
 309 End
 310 Style Solution
 311         CopyStyle       Problem
 312         LabelCounter    solution
 313         LatexName       solution
 314         LabelString     "Solution \thesolution."
 315         RefPrefix       solu
 316         LangPreamble
 317           \providecommand{\solutionname}{_(Solution)}
 318         EndLangPreamble
 319         BabelPreamble
 320           \addto\captions$$lang{\renewcommand{\solutionname}{_(Solution)}}
 321         EndBabelPreamble
 322         DocBookTag            para
 323         DocBookAttr           role='solution'
 324 End
 325
 326
 327 Style Sol
 328         CopyStyle       Prob
 329         LatexName       sol
 330         LabelType       Static
 331         LabelString     "# [number of Prob]"
 332         Argument 1
 333           Mandatory     1
 334           LabelString   "Label of Problem"
 335           Tooltip       "Label of the corresponding problem"
 336           IsTocCaption true
 337         EndArgument
 338         DocBookTag            para
 339         DocBookAttr           role='solution'
 340 End
 341
 342
 343 Counter         exercise
 344         GuiName Exercise
 345 End
 346 Style Exercise
 347         CopyStyle       Definition
 348         LabelCounter    exercise
 349         LatexName       exercise
 350         LabelString     "Exercise \theexercise."
 351         RefPrefix       exer
 352         LangPreamble
 353           \providecommand{\exercisename}{_(Exercise)}
 354         EndLangPreamble
 355         BabelPreamble
 356           \addto\captions$$lang{\renewcommand{\exercisename}{_(Exercise)}}
 357         EndBabelPreamble
 358         DocBookTag            para
 359         DocBookAttr           role='exercise'
 360 End
 361
 362
 363 Counter         remark
 364         GuiName Remark
 365 End
 366 Style Remark
 367         CopyStyle       Conjecture
 368         LabelCounter    remark
 369         LatexName       remark
 370         LabelString     "Remark \theremark."
 371         RefPrefix       rem
 372         LangPreamble
 373           \providecommand{\remarkname}{_(Remark)}
 374         EndLangPreamble
 375         BabelPreamble
 376           \addto\captions$$lang{\renewcommand{\remarkname}{_(Remark)}}
 377         EndBabelPreamble
 378         DocBookTag            note
 379         DocBookItemTag        para
 380 End
 381
 382
 383 Style           Claim
 384         CopyStyle       Remark
 385         LatexName       claim
 386         LabelString     "Claim"
 387         LangPreamble
 388           \providecommand{\claimname}{_(Claim)}
 389         EndLangPreamble
 390         BabelPreamble
 391           \addto\captions$$lang{\renewcommand{\claimname}{_(Claim)}}
 392         EndBabelPreamble
 393         DocBookTag            para
 394         DocBookAttr           role='claim'
 395         DocBookItemTag        ""
 396 End
 397
 398
 399 Counter         case
 400         GuiName Case
 401 End
 402 Style Case
 403         CopyStyle       Remark
 404         LabelCounter    case
 405         LatexName       case
 406         LabelString     "Case \thecase."
 407         RefPrefix       case
 408         LangPreamble
 409           \providecommand{\casename}{_(Case)}
 410         EndLangPreamble
 411         BabelPreamble
 412           \addto\captions$$lang{\renewcommand{\casename}{_(Case)}}
 413         EndBabelPreamble
 414         DocBookTag            para
 415         DocBookAttr           role='case'
 416 End
 417
 418
 419 Counter         property
 420         GuiName Property
 421 End
 422 Style Property
 423         CopyStyle       Claim
 424         LabelCounter    property
 425         LatexName       property
 426         LabelString     "Property \theproperty."
 427         RefPrefix       prop
 428         LangPreamble
 429           \providecommand{\propertyname}{_(Property)}
 430         EndLangPreamble
 431         BabelPreamble
 432           \addto\captions$$lang{\renewcommand{\propertyname}{_(Property)}}
 433         EndBabelPreamble
 434         DocBookTag            para
 435         DocBookAttr           role='property'
 436 End
 437
 438
 439 Counter         question
 440         GuiName Question
 441 End
 442 Style Question
 443         CopyStyle       Claim
 444         LabelCounter    question
 445         LatexName       question
 446         LabelString     "Question \thequestion."
 447         RefPrefix       que
 448         LangPreamble
 449           \providecommand{\questionname}{_(Question)}
 450         EndLangPreamble
 451         BabelPreamble
 452           \addto\captions$$lang{\renewcommand{\questionname}{_(Question)}}
 453         EndBabelPreamble
 454         DocBookTag            para
 455         DocBookAttr           role='question'
 456 End
 457
 458
 459 Counter         note
 460         GuiName Note
 461 End
 462 Style Note
 463         CopyStyle       Claim
 464         LabelCounter    note
 465         LatexName       note
 466         LabelString     "Note \thenote."
 467         RefPrefix       note
 468         LangPreamble
 469           \providecommand{\notename}{_(Note)}
 470         EndLangPreamble
 471         BabelPreamble
 472           \addto\captions$$lang{\renewcommand{\notename}{_(Note)}}
 473         EndBabelPreamble
 474         DocBookTag            note
 475         DocBookItemTag        para
 476 End
 477