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 Style Prob
 242         CopyStyle       Problem
 243         LabelCounter    prob
 244         LatexName       prob
 245         LabelString     "\theprob."
 246         OptionalArgs    0
 247 End
 248
 249
 250 Counter         solution
 251 End
 252 Style Solution
 253         CopyStyle       Problem
 254         LabelCounter    solution
 255         LatexName       solution
 256         LabelString     "Solution \thesolution."
 257         RefPrefix       sol
 258         LangPreamble
 259                 \providecommand{\solutionname}{_(Solution)}
 260         EndLangPreamble
 261         BabelPreamble
 262                 \addto\captions$$lang{\renewcommand{\solutionname}{_(Solution)}}
 263         EndBabelPreamble
 264 End
 265
 266
 267 Counter         sol
 268   Within        chapter
 269 End
 270 Style Sol
 271         CopyStyle       Problem
 272         LabelCounter    sol
 273         LatexName       sol
 274         LabelString     "\thesol"
 275         RequiredArgs    1
 276 End
 277
 278
 279 Counter         exercise
 280 End
 281 Style Exercise
 282         CopyStyle       Definition
 283         LabelCounter    exercise
 284         LatexName       exercise
 285         LabelString     "Exercise \theexercise"
 286         RefPrefix       exer
 287         LangPreamble
 288                 \providecommand{\exercisename}{_(Exercise)}
 289         EndLangPreamble
 290         BabelPreamble
 291                 \addto\captions$$lang{\renewcommand{\exercisename}{_(Exercise)}}
 292         EndBabelPreamble
 293 End
 294
 295
 296 Counter         remark
 297 End
 298 Style Remark
 299         CopyStyle       Conjecture
 300         LabelCounter    remark
 301         LatexName       remark
 302         LabelString     "Remark \theremark"
 303         RefPrefix       rem
 304         LangPreamble
 305                 \providecommand{\remarkname}{_(Remark)}
 306         EndLangPreamble
 307         BabelPreamble
 308                 \addto\captions$$lang{\renewcommand{\remarkname}{_(Remark)}}
 309         EndBabelPreamble
 310 End
 311
 312
 313 Style           Claim
 314         CopyStyle       Remark
 315         LatexName       claim
 316         LabelString     "Claim"
 317         LangPreamble
 318                 \providecommand{\claimname}{_(Claim)}
 319         EndLangPreamble
 320         BabelPreamble
 321                 \addto\captions$$lang{\renewcommand{\claimname}{_(Claim)}}
 322         EndBabelPreamble
 323 End
 324
 325
 326 Counter         case
 327 End
 328 Style Case
 329         CopyStyle       Remark
 330         LabelCounter    case
 331         LatexName       case
 332         LabelString     "Case \thecase"
 333         RefPrefix       case
 334         LangPreamble
 335                 \providecommand{\casename}{_(Case)}
 336         EndLangPreamble
 337         BabelPreamble
 338                 \addto\captions$$lang{\renewcommand{\casename}{_(Case)}}
 339         EndBabelPreamble
 340 End
 341
 342
 343 Counter         property
 344 End
 345 Style Property
 346         CopyStyle       Claim
 347         LabelCounter    property
 348         LatexName       property
 349         LabelString     "Property \theproperty"
 350         RefPrefix       prop
 351         LangPreamble
 352                 \providecommand{\propertyname}{_(Property)}
 353         EndLangPreamble
 354         BabelPreamble
 355                 \addto\captions$$lang{\renewcommand{\propertyname}{_(Property)}}
 356         EndBabelPreamble
 357 End
 358
 359
 360 Counter         question
 361 End
 362 Style Question
 363         CopyStyle       Claim
 364         LabelCounter    question
 365         LatexName       question
 366         LabelString     "Question \thequestion"
 367         RefPrefix       que
 368         LangPreamble
 369                 \providecommand{\questionname}{_(Question)}
 370         EndLangPreamble
 371         BabelPreamble
 372                 \addto\captions$$lang{\renewcommand{\questionname}{_(Question)}}
 373         EndBabelPreamble
 374 End
 375
 376
 377 Counter         note
 378 End
 379 Style Note
 380         CopyStyle       Claim
 381         LabelCounter    note
 382         LatexName       note
 383         LabelString     "Note \thenote"
 384         RefPrefix       note
 385         LangPreamble
 386                 \providecommand{\notename}{_(Note)}
 387         EndLangPreamble
 388         BabelPreamble
 389                 \addto\captions$$lang{\renewcommand{\notename}{_(Note)}}
 390         EndBabelPreamble
 391 End
 392