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