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