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 40
  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 End
 132
 133
 134 Counter         conjecture
 135 End
 136 Style Conjecture
 137         CopyStyle       Theorem
 138         LabelCounter    conjecture
 139         LatexName       conjecture
 140         LabelString     "Conjecture \theconjecture."
 141         Font
 142           Shape         Up
 143         EndFont
 144         LabelFont
 145           Series        Medium
 146           Shape         Italic
 147         EndFont
 148         LangPreamble
 149                 \providecommand{\conjecturename}{_(Conjecture)}
 150         EndLangPreamble
 151         BabelPreamble
 152                 \addto\captions$$lang{\renewcommand{\conjecturename}{_(Conjecture)}}
 153         EndBabelPreamble
 154 End
 155
 156
 157 Counter         fact
 158 End
 159 Style Fact
 160         CopyStyle       Theorem
 161         LabelCounter    fact
 162         LatexName       fact
 163         LabelString     "Fact \thefact."
 164         LangPreamble
 165                 \providecommand{\factname}{_(Fact)}
 166         EndLangPreamble
 167         BabelPreamble
 168                 \addto\captions$$lang{\renewcommand{\factname}{_(Fact)}}
 169         EndBabelPreamble
 170 End
 171
 172
 173 Counter         definition
 174 End
 175 Style Definition
 176         CopyStyle       Theorem
 177         LabelCounter    definition
 178         LatexName       definition
 179         LabelString     "Definition \thedefinition."
 180         RefPrefix       def
 181         Font
 182           Shape         Up
 183         EndFont
 184         LabelFont
 185           Shape         Up
 186           Series        Bold
 187         EndFont
 188         LangPreamble
 189                 \providecommand{\definitionname}{_(Definition)}
 190         EndLangPreamble
 191         BabelPreamble
 192                 \addto\captions$$lang{\renewcommand{\definitionname}{_(Definition)}}
 193         EndBabelPreamble
 194 End
 195
 196
 197 Counter         example
 198 End
 199 Style Example
 200         CopyStyle       Conjecture
 201         LabelCounter    example
 202         LatexName       example
 203         LabelString     "Example \theexample."
 204         RefPrefix       exa
 205         LangPreamble
 206                 \providecommand{\examplename}{_(Example)}
 207         EndLangPreamble
 208         BabelPreamble
 209                 \addto\captions$$lang{\renewcommand{\examplename}{_(Example)}}
 210         EndBabelPreamble
 211 End
 212
 213
 214 Counter         problem
 215 End
 216 Style Problem
 217         CopyStyle       Definition
 218         Category        Exercise
 219         LabelCounter    problem
 220         LatexName       problem
 221         LabelString     "Problem \theproblem."
 222         RefPrefix       prob
 223         LangPreamble
 224                 \providecommand{\problemname}{_(Problem)}
 225         EndLangPreamble
 226         BabelPreamble
 227                 \addto\captions$$lang{\renewcommand{\problemname}{_(Problem)}}
 228         EndBabelPreamble
 229 End
 230
 231
 232 Counter         prob
 233   Within        chapter
 234 End
 235 # Prob does not copy a style to avoid preamble code
 236 Style Prob
 237         Category        Exercise
 238         LatexType       Environment
 239         LatexName       prob
 240         Margin          First_Dynamic
 241         LabelType       Counter
 242         LabelCounter    prob
 243         LabelString     "\theprob."
 244         RefPrefix       pro
 245         NextNoIndent    1
 246         OptionalArgs    0
 247         LabelSep        xx
 248         ParIndent       MMM
 249         ParSkip         0.4
 250         ItemSep         0.2
 251         TopSep          0.7
 252         BottomSep       0.7
 253         ParSep          0.3
 254         Align           Block
 255         AlignPossible   Left
 256         LabelFont
 257           Series        Bold
 258         EndFont
 259 End
 260
 261
 262 Counter         solution
 263 End
 264 Style Solution
 265         CopyStyle       Problem
 266         LabelCounter    solution
 267         LatexName       solution
 268         LabelString     "Solution \thesolution."
 269         RefPrefix       solu
 270         LangPreamble
 271                 \providecommand{\solutionname}{_(Solution)}
 272         EndLangPreamble
 273         BabelPreamble
 274                 \addto\captions$$lang{\renewcommand{\solutionname}{_(Solution)}}
 275         EndBabelPreamble
 276 End
 277
 278
 279 Style Sol
 280         CopyStyle       Prob
 281         LatexName       sol
 282         LabelType       Static
 283         LabelString     "# [number of Prob]"
 284         RequiredArgs    1
 285 End
 286
 287
 288 Counter         exercise
 289 End
 290 Style Exercise
 291         CopyStyle       Definition
 292         LabelCounter    exercise
 293         LatexName       exercise
 294         LabelString     "Exercise \theexercise."
 295         RefPrefix       exer
 296         LangPreamble
 297                 \providecommand{\exercisename}{_(Exercise)}
 298         EndLangPreamble
 299         BabelPreamble
 300                 \addto\captions$$lang{\renewcommand{\exercisename}{_(Exercise)}}
 301         EndBabelPreamble
 302 End
 303
 304
 305 Counter         remark
 306 End
 307 Style Remark
 308         CopyStyle       Conjecture
 309         LabelCounter    remark
 310         LatexName       remark
 311         LabelString     "Remark \theremark."
 312         RefPrefix       rem
 313         LangPreamble
 314                 \providecommand{\remarkname}{_(Remark)}
 315         EndLangPreamble
 316         BabelPreamble
 317                 \addto\captions$$lang{\renewcommand{\remarkname}{_(Remark)}}
 318         EndBabelPreamble
 319 End
 320
 321
 322 Style           Claim
 323         CopyStyle       Remark
 324         LatexName       claim
 325         LabelString     "Claim"
 326         LangPreamble
 327                 \providecommand{\claimname}{_(Claim)}
 328         EndLangPreamble
 329         BabelPreamble
 330                 \addto\captions$$lang{\renewcommand{\claimname}{_(Claim)}}
 331         EndBabelPreamble
 332 End
 333
 334
 335 Counter         case
 336 End
 337 Style Case
 338         CopyStyle       Remark
 339         LabelCounter    case
 340         LatexName       case
 341         LabelString     "Case \thecase."
 342         RefPrefix       case
 343         LangPreamble
 344                 \providecommand{\casename}{_(Case)}
 345         EndLangPreamble
 346         BabelPreamble
 347                 \addto\captions$$lang{\renewcommand{\casename}{_(Case)}}
 348         EndBabelPreamble
 349 End
 350
 351
 352 Counter         property
 353 End
 354 Style Property
 355         CopyStyle       Claim
 356         LabelCounter    property
 357         LatexName       property
 358         LabelString     "Property \theproperty."
 359         RefPrefix       prop
 360         LangPreamble
 361                 \providecommand{\propertyname}{_(Property)}
 362         EndLangPreamble
 363         BabelPreamble
 364                 \addto\captions$$lang{\renewcommand{\propertyname}{_(Property)}}
 365         EndBabelPreamble
 366 End
 367
 368
 369 Counter         question
 370 End
 371 Style Question
 372         CopyStyle       Claim
 373         LabelCounter    question
 374         LatexName       question
 375         LabelString     "Question \thequestion."
 376         RefPrefix       que
 377         LangPreamble
 378                 \providecommand{\questionname}{_(Question)}
 379         EndLangPreamble
 380         BabelPreamble
 381                 \addto\captions$$lang{\renewcommand{\questionname}{_(Question)}}
 382         EndBabelPreamble
 383 End
 384
 385
 386 Counter         note
 387 End
 388 Style Note
 389         CopyStyle       Claim
 390         LabelCounter    note
 391         LatexName       note
 392         LabelString     "Note \thenote."
 393         RefPrefix       note
 394         LangPreamble
 395                 \providecommand{\notename}{_(Note)}
 396         EndLangPreamble
 397         BabelPreamble
 398                 \addto\captions$$lang{\renewcommand{\notename}{_(Note)}}
 399         EndBabelPreamble
 400 End
 401