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