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