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