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