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