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