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 104
  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         DocBookWrapperTag     figure
  78         DocBookWrapperAttr    role='theorem'
  79         DocBookTag            para
  80         DocBookGenerateTitle  true
  81         DocBookWrapperMergeWithPrevious  true
  82 End
  83
  84
  85 Counter         corollary
  86         GuiName Corollary
  87         PrettyFormat "Corollary ##"
  88 End
  89 Style Corollary
  90         CopyStyle       Theorem
  91         LabelCounter    corollary
  92         LatexName       corollary
  93         LabelString     "Corollary \thecorollary."
  94         LangPreamble
  95           \providecommand{\corollaryname}{_(Corollary)}
  96         EndLangPreamble
  97         BabelPreamble
  98           \addto\captions$$lang{\renewcommand{\corollaryname}{_(Corollary)}}
  99         EndBabelPreamble
 100         DocBookWrapperTag     figure
 101         DocBookWrapperAttr    role='corollary'
 102         DocBookTag            para
 103         DocBookGenerateTitle  true
 104         DocBookWrapperMergeWithPrevious  true
 105 End
 106
 107
 108 Counter         lemma
 109         GuiName Lemma
 110         PrettyFormat "Lemma ##"
 111 End
 112 Style Lemma
 113         CopyStyle       Theorem
 114         LabelCounter    lemma
 115         LatexName       lemma
 116         LabelString     "Lemma \thelemma."
 117         LangPreamble
 118           \providecommand{\lemmaname}{_(Lemma)}
 119         EndLangPreamble
 120         BabelPreamble
 121           \addto\captions$$lang{\renewcommand{\lemmaname}{_(Lemma)}}
 122         EndBabelPreamble
 123         DocBookWrapperTag     figure
 124         DocBookWrapperAttr    role='lemma'
 125         DocBookTag            para
 126         DocBookGenerateTitle  true
 127         DocBookWrapperMergeWithPrevious  true
 128 End
 129
 130
 131 Counter         proposition
 132         GuiName Proposition
 133         PrettyFormat "Proposition ##"
 134 End
 135 Style Proposition
 136         CopyStyle       Theorem
 137         LabelCounter    proposition
 138         LatexName       proposition
 139         LabelString     "Proposition \theproposition."
 140         LangPreamble
 141           \providecommand{\propositionname}{_(Proposition)}
 142         EndLangPreamble
 143         BabelPreamble
 144           \addto\captions$$lang{\renewcommand{\propositionname}{_(Proposition)}}
 145         EndBabelPreamble
 146         DocBookWrapperTag     figure
 147         DocBookWrapperAttr    role='proposition'
 148         DocBookTag            para
 149         DocBookGenerateTitle  true
 150         DocBookWrapperMergeWithPrevious  true
 151 End
 152
 153
 154 Counter         prop
 155         GuiName Prop(osition)
 156         PrettyFormat "Proposition ##"
 157 End
 158 Style Prop
 159         CopyStyle       Theorem
 160         LabelCounter    prop
 161         LatexName       prop
 162         LabelString     "Prop \theprop."
 163         Font
 164           Shape         Up
 165         EndFont
 166         LabelFont
 167           Series        Medium
 168         EndFont
 169         DocBookWrapperTag     figure
 170         DocBookWrapperAttr    role='proposition'
 171         DocBookTag            para
 172         DocBookGenerateTitle  true
 173         DocBookWrapperMergeWithPrevious  true
 174 End
 175
 176
 177 Counter         conjecture
 178         GuiName Conjecture
 179         PrettyFormat "Conjecture ##"
 180 End
 181 Style Conjecture
 182         CopyStyle       Theorem
 183         LabelCounter    conjecture
 184         LatexName       conjecture
 185         LabelString     "Conjecture \theconjecture."
 186         Font
 187           Shape         Up
 188         EndFont
 189         LabelFont
 190           Series        Medium
 191           Shape         Italic
 192         EndFont
 193         LangPreamble
 194           \providecommand{\conjecturename}{_(Conjecture)}
 195         EndLangPreamble
 196         BabelPreamble
 197           \addto\captions$$lang{\renewcommand{\conjecturename}{_(Conjecture)}}
 198         EndBabelPreamble
 199         DocBookWrapperTag     figure
 200         DocBookWrapperAttr    role='conjecture'
 201         DocBookTag            para
 202         DocBookGenerateTitle  true
 203         DocBookWrapperMergeWithPrevious  true
 204 End
 205
 206
 207 Counter         fact
 208         GuiName Fact
 209         PrettyFormat "Fact ##"
 210 End
 211 Style Fact
 212         CopyStyle       Theorem
 213         LabelCounter    fact
 214         LatexName       fact
 215         LabelString     "Fact \thefact."
 216         LangPreamble
 217           \providecommand{\factname}{_(Fact)}
 218         EndLangPreamble
 219         BabelPreamble
 220           \addto\captions$$lang{\renewcommand{\factname}{_(Fact)}}
 221         EndBabelPreamble
 222         DocBookWrapperTag     figure
 223         DocBookWrapperAttr    role='fact'
 224         DocBookTag            para
 225         DocBookGenerateTitle  true
 226         DocBookWrapperMergeWithPrevious  true
 227 End
 228
 229
 230 Counter         definition
 231         GuiName Definition
 232         PrettyFormat "Definition ##"
 233 End
 234 Style Definition
 235         CopyStyle       Theorem
 236         LabelCounter    definition
 237         LatexName       definition
 238         LabelString     "Definition \thedefinition."
 239         RefPrefix       def
 240         Font
 241           Shape         Up
 242         EndFont
 243         LabelFont
 244           Shape         Up
 245           Series        Bold
 246         EndFont
 247         LangPreamble
 248           \providecommand{\definitionname}{_(Definition)}
 249         EndLangPreamble
 250         BabelPreamble
 251           \addto\captions$$lang{\renewcommand{\definitionname}{_(Definition)}}
 252         EndBabelPreamble
 253         DocBookWrapperTag     figure
 254         DocBookWrapperAttr    role='definition'
 255         DocBookTag            para
 256         DocBookGenerateTitle  true
 257         DocBookWrapperMergeWithPrevious  true
 258 End
 259
 260
 261 Counter         example
 262         GuiName Example
 263         PrettyFormat "Example ##"
 264 End
 265 Style Example
 266         CopyStyle       Conjecture
 267         LabelCounter    example
 268         LatexName       example
 269         LabelString     "Example \theexample."
 270         RefPrefix       exa
 271         LangPreamble
 272           \providecommand{\examplename}{_(Example)}
 273         EndLangPreamble
 274         BabelPreamble
 275           \addto\captions$$lang{\renewcommand{\examplename}{_(Example)}}
 276         EndBabelPreamble
 277         DocBookWrapperTag     informalexample
 278         DocBookTag            para
 279         DocBookAttr           ""
 280 End
 281
 282
 283 Counter         problem
 284         GuiName Problem
 285         PrettyFormat "Problem ##"
 286 End
 287 Style Problem
 288         CopyStyle       Definition
 289         Category        Exercise
 290         LabelCounter    problem
 291         LatexName       problem
 292         LabelString     "Problem \theproblem."
 293         RefPrefix       prob
 294         LangPreamble
 295           \providecommand{\problemname}{_(Problem)}
 296         EndLangPreamble
 297         BabelPreamble
 298           \addto\captions$$lang{\renewcommand{\problemname}{_(Problem)}}
 299         EndBabelPreamble
 300         DocBookWrapperTag     figure
 301         DocBookWrapperAttr    role='problem'
 302         DocBookTag            para
 303         DocBookGenerateTitle  true
 304         DocBookWrapperMergeWithPrevious  true
 305 End
 306
 307
 308 Counter         prob
 309         GuiName Prob(lem)
 310         Within  chapter
 311         PrettyFormat "Problem ##"
 312 End
 313 # Prob does not copy a style to avoid preamble code
 314 Style Prob
 315         Category        Exercise
 316         LatexType       Environment
 317         LatexName       prob
 318         Margin          First_Dynamic
 319         LabelType       Static
 320         LabelCounter    prob
 321         LabelString     "\theprob."
 322         RefPrefix       pro
 323         NextNoIndent    1
 324         ResetArgs       1
 325         LabelSep        xx
 326         ParIndent       MMM
 327         ParSkip         0.4
 328         ItemSep         0.2
 329         TopSep          0.7
 330         BottomSep       0.7
 331         ParSep          0.3
 332         Align           Block
 333         AlignPossible   Left
 334         LabelFont
 335           Series        Bold
 336         EndFont
 337         AddToToc        thm
 338         IsTocCaption    true
 339         DocBookWrapperTag     figure
 340         DocBookWrapperAttr    role='problem'
 341         DocBookTag            para
 342         DocBookGenerateTitle  true
 343         DocBookWrapperMergeWithPrevious  true
 344 End
 345
 346
 347 Counter         solution
 348         GuiName Solution
 349         PrettyFormat "Solution ##"
 350 End
 351 Style Solution
 352         CopyStyle       Problem
 353         LabelCounter    solution
 354         LatexName       solution
 355         LabelString     "Solution \thesolution."
 356         RefPrefix       solu
 357         LangPreamble
 358           \providecommand{\solutionname}{_(Solution)}
 359         EndLangPreamble
 360         BabelPreamble
 361           \addto\captions$$lang{\renewcommand{\solutionname}{_(Solution)}}
 362         EndBabelPreamble
 363         DocBookWrapperTag     figure
 364         DocBookWrapperAttr    role='solution'
 365         DocBookTag            para
 366         DocBookGenerateTitle  true
 367         DocBookWrapperMergeWithPrevious  true
 368 End
 369
 370
 371 Style Sol
 372         CopyStyle       Prob
 373         LatexName       sol
 374         LabelType       Static
 375         LabelString     "# [number of Prob]"
 376         Argument 1
 377           Mandatory     1
 378           LabelString   "Label of Problem"
 379           Tooltip       "Label of the corresponding problem"
 380           IsTocCaption true
 381         EndArgument
 382         DocBookWrapperTag     figure
 383         DocBookWrapperAttr    role='solution'
 384         DocBookTag            para
 385         DocBookGenerateTitle  true
 386         DocBookWrapperMergeWithPrevious  true
 387 End
 388
 389
 390 Counter         exercise
 391         GuiName Exercise
 392         PrettyFormat "Exercise ##"
 393 End
 394 Style Exercise
 395         CopyStyle       Definition
 396         LabelCounter    exercise
 397         LatexName       exercise
 398         LabelString     "Exercise \theexercise."
 399         RefPrefix       exer
 400         LangPreamble
 401           \providecommand{\exercisename}{_(Exercise)}
 402         EndLangPreamble
 403         BabelPreamble
 404           \addto\captions$$lang{\renewcommand{\exercisename}{_(Exercise)}}
 405         EndBabelPreamble
 406         DocBookWrapperTag     figure
 407         DocBookWrapperAttr    role='exercise'
 408         DocBookTag            para
 409         DocBookGenerateTitle  true
 410         DocBookWrapperMergeWithPrevious  true
 411 End
 412
 413
 414 Counter         remark
 415         GuiName Remark
 416         PrettyFormat "Remark ##"
 417 End
 418 Style Remark
 419         CopyStyle       Conjecture
 420         LabelCounter    remark
 421         LatexName       remark
 422         LabelString     "Remark \theremark."
 423         RefPrefix       rem
 424         LangPreamble
 425           \providecommand{\remarkname}{_(Remark)}
 426         EndLangPreamble
 427         BabelPreamble
 428           \addto\captions$$lang{\renewcommand{\remarkname}{_(Remark)}}
 429         EndBabelPreamble
 430         DocBookWrapperTag     figure
 431         DocBookWrapperAttr    role='remark'
 432         DocBookTag            para
 433         DocBookGenerateTitle  true
 434         DocBookWrapperMergeWithPrevious  true
 435 End
 436
 437
 438 Style           Claim
 439         CopyStyle       Remark
 440         LatexName       claim
 441         LabelString     "Claim"
 442         LangPreamble
 443           \providecommand{\claimname}{_(Claim)}
 444         EndLangPreamble
 445         BabelPreamble
 446           \addto\captions$$lang{\renewcommand{\claimname}{_(Claim)}}
 447         EndBabelPreamble
 448         DocBookWrapperTag     figure
 449         DocBookWrapperAttr    role='claim'
 450         DocBookTag            para
 451         DocBookGenerateTitle  true
 452         DocBookWrapperMergeWithPrevious  true
 453 End
 454
 455
 456 Counter         case
 457         GuiName Case
 458         PrettyFormat "Case ##"
 459 End
 460 Style Case
 461         CopyStyle       Remark
 462         LabelCounter    case
 463         LatexName       case
 464         LabelString     "Case \thecase."
 465         RefPrefix       case
 466         LangPreamble
 467           \providecommand{\casename}{_(Case)}
 468         EndLangPreamble
 469         BabelPreamble
 470           \addto\captions$$lang{\renewcommand{\casename}{_(Case)}}
 471         EndBabelPreamble
 472         DocBookWrapperTag     figure
 473         DocBookWrapperAttr    role='case'
 474         DocBookTag            para
 475         DocBookGenerateTitle  true
 476         DocBookWrapperMergeWithPrevious  true
 477 End
 478
 479
 480 Counter         property
 481         GuiName Property
 482         PrettyFormat "Property ##"
 483 End
 484 Style Property
 485         CopyStyle       Claim
 486         LabelCounter    property
 487         LatexName       property
 488         LabelString     "Property \theproperty."
 489         RefPrefix       prop
 490         LangPreamble
 491           \providecommand{\propertyname}{_(Property)}
 492         EndLangPreamble
 493         BabelPreamble
 494           \addto\captions$$lang{\renewcommand{\propertyname}{_(Property)}}
 495         EndBabelPreamble
 496         DocBookWrapperTag     figure
 497         DocBookWrapperAttr    role='property'
 498         DocBookTag            para
 499         DocBookGenerateTitle  true
 500         DocBookWrapperMergeWithPrevious  true
 501 End
 502
 503
 504 Counter         question
 505         GuiName Question
 506         PrettyFormat "Question ##"
 507 End
 508 Style Question
 509         CopyStyle       Claim
 510         LabelCounter    question
 511         LatexName       question
 512         LabelString     "Question \thequestion."
 513         RefPrefix       que
 514         LangPreamble
 515           \providecommand{\questionname}{_(Question)}
 516         EndLangPreamble
 517         BabelPreamble
 518           \addto\captions$$lang{\renewcommand{\questionname}{_(Question)}}
 519         EndBabelPreamble
 520         DocBookWrapperTag     figure
 521         DocBookWrapperAttr    role='question'
 522         DocBookTag            para
 523         DocBookGenerateTitle  true
 524         DocBookWrapperMergeWithPrevious  true
 525 End
 526
 527
 528 Counter         note
 529         GuiName Note
 530         PrettyFormat "Note ##"
 531 End
 532 Style Note
 533         CopyStyle       Claim
 534         LabelCounter    note
 535         LatexName       note
 536         LabelString     "Note \thenote."
 537         RefPrefix       note
 538         LangPreamble
 539           \providecommand{\notename}{_(Note)}
 540         EndLangPreamble
 541         BabelPreamble
 542           \addto\captions$$lang{\renewcommand{\notename}{_(Note)}}
 543         EndBabelPreamble
 544         DocBookWrapperTag     figure
 545         DocBookWrapperAttr    role='note'
 546         DocBookTag            para
 547         DocBookGenerateTitle  true
 548 End
 549