lib/layouts/amsmaths.inc

   1 # Author : David L. Johnson <dlj0@lehigh.edu>
   2 # Probably broken by Jean-Marc Lasgouttes <Jean-Marc.Lasgouttes@inria.fr>
   3 # modified and modularized by Emmanuel GUREGHIAN <gureghia@boston.bertin.fr>
   4 # This version has Theorems and other results numbered in one sequence, and all
   5 # numbered environments (figures as well) containing the section number.
   6 # (Themorem (1.1), Corollary (1.2) Theorem (1.3), etc.
   7 # These are only the theorems styles environnements
   8 # Tinkered with Sep. '07 by Paul Rubin <rubin@msu.edu>
   9
  10 # The environnements defined (regular and starred) are :
  11 # - Theorem
  12 # - Corollary
  13 # - Lemma
  14 # - Proposition
  15 # - Conjecture
  16 # - Criterion
  17 # - Algorithm
  18 # - Axiom
  19 # - Definition
  20 # - Example
  21 # - Condition
  22 # - Problem
  23 # - Exercise
  24 # - Remark
  25 # - Note
  26 # - Notation
  27 # - Claim
  28 # - Summary
  29 # - Acknowledgement
  30 # - Conclusion
  31 # - Fact
  32 # - Assumption
  33 # - Case (regular only -- defined as an enumeration)
  34
  35 Format 5
  36
  37
  38 Counter
  39         Name                 theorem
  40         Within               section
  41 End
  42
  43
  44 Style Theorem
  45         Margin                First_Dynamic
  46         LatexType             Environment
  47         LatexName             thm
  48         NextNoIndent          1
  49         OptionalArgs          1
  50         LabelSep              xx
  51         ParIndent             MMM
  52         ParSkip               0.4
  53         ItemSep               0.2
  54         TopSep                0.7
  55         BottomSep             0.7
  56         ParSep                0.3
  57         Align                 Block
  58         AlignPossible         Block, Left
  59         LabelType             Counter
  60         LabelCounter          theorem
  61         LabelString           "Theorem \thetheorem."
  62         Font
  63           Shape               Italic
  64           Size                Normal
  65         EndFont
  66         LabelFont
  67           Shape               Up
  68           Series              Bold
  69         EndFont
  70         Preamble
  71           \theoremstyle{plain}
  72           \newtheorem{thm}{Theorem}[section]
  73         EndPreamble
  74 End
  75
  76
  77 Style Theorem*
  78         CopyStyle             Theorem
  79         LatexName             thm*
  80         LabelType             Static
  81         LabelString           "Theorem."
  82         Preamble
  83           \theoremstyle{plain}
  84           \newtheorem*{thm*}{Theorem}
  85         EndPreamble
  86 End
  87
  88
  89 Style Corollary
  90         CopyStyle             Theorem
  91         DependsOn             Theorem
  92         LatexName             cor
  93         LabelString           "Corollary \thetheorem."
  94         Preamble
  95           \theoremstyle{plain}
  96           \newtheorem{cor}[thm]{Corollary}
  97         EndPreamble
  98 End
  99
 100
 101 Style Corollary*
 102         CopyStyle             Theorem*
 103         LatexName             cor*
 104         LabelString           "Corollary."
 105         Preamble
 106           \theoremstyle{plain}
 107           \newtheorem*{cor*}{Corollary}
 108         EndPreamble
 109 End
 110
 111
 112 Style Lemma
 113         CopyStyle             Theorem
 114         DependsOn             Theorem
 115         LatexName             lem
 116         LabelString           "Lemma \thetheorem."
 117         Preamble
 118           \theoremstyle{plain}
 119           \newtheorem{lem}[thm]{Lemma}
 120         EndPreamble
 121 End
 122
 123
 124 Style Lemma*
 125         CopyStyle             Theorem*
 126         LatexName             lem*
 127         LabelString           "Lemma."
 128         Preamble
 129           \theoremstyle{plain}
 130           \newtheorem*{lem*}{Lemma}
 131         EndPreamble
 132 End
 133
 134
 135 Style Proposition
 136         CopyStyle             Theorem
 137         DependsOn             Theorem
 138         LatexName             prop
 139         LabelString           "Proposition \thetheorem."
 140         Preamble
 141           \theoremstyle{plain}
 142           \newtheorem{prop}[thm]{Proposition}
 143         EndPreamble
 144 End
 145
 146
 147 Style Proposition*
 148         CopyStyle             Theorem*
 149         LatexName             prop*
 150         LabelString           "Proposition."
 151         Preamble
 152           \theoremstyle{plain}
 153           \newtheorem*{prop*}{Proposition}
 154         EndPreamble
 155 End
 156
 157
 158 Style Conjecture
 159         CopyStyle             Theorem
 160         DependsOn             Theorem
 161         LatexName             conjecture
 162         LabelString           "Conjecture \thetheorem."
 163         Preamble
 164           \theoremstyle{plain}
 165           \newtheorem{conjecture}[thm]{Conjecture}
 166         EndPreamble
 167 End
 168
 169
 170 Style Conjecture*
 171         CopyStyle             Theorem*
 172         LatexName             conjecture*
 173         LabelString           "Conjecture."
 174         Preamble
 175           \theoremstyle{plain}
 176           \newtheorem*{conjecture*}{Conjecture}
 177         EndPreamble
 178 End
 179
 180
 181 Style Criterion
 182         CopyStyle             Theorem
 183         DependsOn             Theorem
 184         LatexName             criterion
 185         LabelString           "Criterion \thetheorem."
 186         Preamble
 187           \theoremstyle{plain}
 188           \newtheorem{criterion}[thm]{Criterion}
 189         EndPreamble
 190 End
 191
 192 Style Criterion*
 193         CopyStyle             Theorem*
 194         LatexName             criterion*
 195         LabelString           "Criterion."
 196         Preamble
 197           \theoremstyle{plain}
 198           \newtheorem*{criterion*}{Criterion}
 199         EndPreamble
 200 End
 201
 202
 203 Style Algorithm
 204         CopyStyle             Theorem
 205         DependsOn             Theorem
 206         LatexName             algorithm
 207         LabelString           "Algorithm \thetheorem."
 208         Preamble
 209           \theoremstyle{plain}
 210           \newtheorem{algorithm}[thm]{Algorithm}
 211         EndPreamble
 212 End
 213
 214
 215 Style Algorithm*
 216         CopyStyle             Theorem*
 217         LatexName             algorithm*
 218         LabelString           "Algorithm."
 219         Preamble
 220           \theoremstyle{plain}
 221           \newtheorem*{algorithm*}{Algorithm}
 222         EndPreamble
 223 End
 224
 225
 226 Style Fact
 227         CopyStyle             Theorem
 228         DependsOn             Theorem
 229         LatexName             fact
 230         LabelString           "Fact \thetheorem."
 231         Preamble
 232           \theoremstyle{plain}
 233           \newtheorem{fact}[thm]{Fact}
 234         EndPreamble
 235 End
 236
 237
 238 Style Fact*
 239         CopyStyle             Theorem*
 240         LatexName             fact*
 241         LabelString           "Fact."
 242         Preamble
 243           \theoremstyle{plain}
 244           \newtheorem*{fact*}{Fact}
 245         EndPreamble
 246 End
 247
 248
 249 Style Axiom
 250         CopyStyle             Theorem
 251         DependsOn             Theorem
 252         LatexName             ax
 253         LabelString           "Axiom \thetheorem."
 254         Preamble
 255           \theoremstyle{plain}
 256           \newtheorem{ax}[thm]{Axiom}
 257         EndPreamble
 258 End
 259
 260
 261 Style Axiom*
 262         CopyStyle             Theorem*
 263         LatexName             ax*
 264         LabelString           "Axiom."
 265         Preamble
 266           \theoremstyle{plain}
 267           \newtheorem*{ax*}{Axiom}
 268         EndPreamble
 269 End
 270
 271
 272 Style Definition
 273         CopyStyle             Theorem
 274         DependsOn             Theorem
 275         LatexName             defn
 276         LabelString           "Definition \thetheorem."
 277         Font
 278           Shape               Up
 279         EndFont
 280         LabelFont
 281           Shape               Up
 282           Series              Bold
 283         EndFont
 284         Preamble
 285           \theoremstyle{definition}
 286           \newtheorem{defn}[thm]{Definition}
 287         EndPreamble
 288 End
 289
 290
 291 Style Definition*
 292         CopyStyle             Definition
 293         LatexName             defn*
 294         LabelType             Static
 295         LabelString           "Definition."
 296         Preamble
 297          \theoremstyle{definition}
 298          \newtheorem*{defn*}{Definition}
 299         EndPreamble
 300 End
 301
 302
 303 Style Example
 304         CopyStyle             Definition
 305         LatexName             example
 306         LabelString           "Example \thetheorem."
 307         Preamble
 308          \theoremstyle{definition}
 309           \newtheorem{example}[thm]{Example}
 310         EndPreamble
 311 End
 312
 313
 314 Style Example*
 315         CopyStyle             Definition*
 316         LatexName             example*
 317         LabelString           "Example."
 318         Preamble
 319           \theoremstyle{definition}
 320           \newtheorem*{example*}{Example}
 321         EndPreamble
 322 End
 323
 324
 325 Style Condition
 326         CopyStyle             Definition
 327         LatexName             condition
 328         LabelString           "Condition \thetheorem."
 329         Preamble
 330           \theoremstyle{definition}
 331           \newtheorem{condition}[thm]{Condition}
 332         EndPreamble
 333 End
 334
 335
 336 Style Condition*
 337         CopyStyle             Definition*
 338         LatexName             condition*
 339         LabelString           "Condition."
 340         Preamble
 341           \theoremstyle{definition}
 342           \newtheorem*{condition*}{Condition}
 343         EndPreamble
 344 End
 345
 346
 347 Style Problem
 348         CopyStyle             Definition
 349         LatexName             problem
 350         LabelString           "Problem \thetheorem."
 351         Preamble
 352           \theoremstyle{definition}
 353           \newtheorem{problem}[thm]{Problem}
 354         EndPreamble
 355 End
 356
 357
 358 Style Problem*
 359         CopyStyle             Definition*
 360         LatexName             problem*
 361         LabelString           "Problem."
 362         Preamble
 363           \theoremstyle{definition}
 364           \newtheorem*{problem*}{Problem}
 365         EndPreamble
 366 End
 367
 368
 369 Style Exercise
 370         CopyStyle             Definition
 371         LatexName             xca
 372         LabelString           "Exercise \thetheorem."
 373         Preamble
 374           \theoremstyle{definition}
 375           \newtheorem{xca}[thm]{Exercise}
 376         EndPreamble
 377 End
 378
 379
 380 Style Exercise*
 381         CopyStyle             Definition*
 382         LatexName             xca*
 383         LabelString           "Exercise."
 384         Preamble
 385           \theoremstyle{definition}
 386           \newtheorem*{xca*}{Exercise}
 387         EndPreamble
 388 End
 389
 390
 391 Style Remark
 392         CopyStyle             Theorem
 393         DependsOn             Theorem
 394         LatexName             rem
 395         LabelString           "Remark \thetheorem."
 396         Font
 397           Shape               Up
 398           Size                Normal
 399         EndFont
 400         LabelFont
 401           Series              Medium
 402           Shape               Italic
 403         EndFont
 404         Preamble
 405           \theoremstyle{remark}
 406           \newtheorem{rem}[thm]{Remark}
 407         EndPreamble
 408 End
 409
 410
 411 Style Remark*
 412         CopyStyle             Remark
 413         LatexName             rem*
 414         LabelType             Static
 415         LabelString           "Remark."
 416         Preamble
 417           \theoremstyle{remark}
 418           \newtheorem*{rem*}{Remark}
 419         EndPreamble
 420 End
 421
 422
 423 Style Claim
 424         CopyStyle             Remark
 425         LatexName             claim
 426         LabelString           "Claim \thetheorem."
 427         Preamble
 428           \theoremstyle{remark}
 429           \newtheorem{claim}[thm]{Claim}
 430         EndPreamble
 431 End
 432
 433
 434 Style Claim*
 435         CopyStyle             Remark*
 436         LatexName             claim*
 437         LabelString           "Claim."
 438         Preamble
 439           \theoremstyle{remark}
 440           \newtheorem*{claim*}{Claim}
 441         EndPreamble
 442 End
 443
 444
 445 Style Note
 446         CopyStyle             Remark
 447         LatexName             note
 448         LabelString           "Note \thetheorem."
 449         Preamble
 450           \theoremstyle{remark}
 451           \newtheorem{note}[thm]{Note}
 452         EndPreamble
 453 End
 454
 455
 456 Style Note*
 457         CopyStyle             Remark*
 458         LatexName             note*
 459         LabelString           "Note."
 460         Preamble
 461           \theoremstyle{remark}
 462           \newtheorem*{note*}{Note}
 463         EndPreamble
 464 End
 465
 466
 467 Style Notation
 468         CopyStyle             Remark
 469         LatexName             notation
 470         LabelString           "Notation \thetheorem."
 471         Preamble
 472           \theoremstyle{remark}
 473           \newtheorem{notation}[thm]{Notation}
 474         EndPreamble
 475 End
 476
 477
 478 Style Notation*
 479         CopyStyle             Remark*
 480         LatexName             notation*
 481         LabelString           "Notation."
 482         Preamble
 483           \theoremstyle{remark}
 484           \newtheorem*{notation*}{Notation}
 485         EndPreamble
 486 End
 487
 488
 489 Style Summary
 490         CopyStyle             Remark
 491         LatexName             summary
 492         LabelString           "Summary \thetheorem."
 493         Preamble
 494           \theoremstyle{remark}
 495           \newtheorem{summary}[thm]{Summary}
 496         EndPreamble
 497 End
 498
 499
 500 Style Summary*
 501         CopyStyle             Remark*
 502         LatexName             summary*
 503         LabelString           "Summary."
 504         Preamble
 505           \theoremstyle{remark}
 506           \newtheorem*{summary*}{Summary}
 507         EndPreamble
 508 End
 509
 510
 511 Style Acknowledgement
 512         CopyStyle             Remark
 513         LatexName             acknowledgement
 514         LabelString           "Acknowledgement \thetheorem."
 515         Preamble
 516           \theoremstyle{remark}
 517           \newtheorem{acknowledgement}[thm]{Acknowledgement}
 518         EndPreamble
 519 End
 520
 521
 522 Style Acknowledgement*
 523         CopyStyle             Remark*
 524         LatexName             acknowledgement*
 525         LabelString           "Acknowledgement."
 526         Preamble
 527           \theoremstyle{remark}
 528           \newtheorem*{acknowledgement*}{Acknowledgement}
 529         EndPreamble
 530 End
 531
 532
 533 Style Conclusion
 534         CopyStyle             Remark
 535         LatexName             conclusion
 536         LabelString           "Conclusion \thetheorem."
 537         Preamble
 538           \theoremstyle{remark}
 539           \newtheorem{conclusion}[thm]{Conclusion}
 540         EndPreamble
 541 End
 542
 543
 544 Style Conclusion*
 545         CopyStyle             Remark*
 546         LatexName             conclusion*
 547         LabelString           "Conclusion."
 548         Preamble
 549           \theoremstyle{remark}
 550           \newtheorem*{conclusion*}{Conclusion}
 551         EndPreamble
 552 End
 553
 554
 555 Style Assumption
 556         CopyStyle             Theorem
 557         DependsOn             Theorem
 558         LatexName             assumption
 559         LabelString           "Assumption \thetheorem."
 560         Preamble
 561           \theoremstyle{plain}
 562           \newtheorem{assumption}[thm]{Assumption}
 563         EndPreamble
 564 End
 565
 566
 567 Style Assumption*
 568         CopyStyle             Theorem*
 569         LatexName             assumption*
 570         LabelString           "Assumption."
 571         Preamble
 572           \theoremstyle{plain}
 573           \newtheorem*{assumption*}{Assumption}
 574         EndPreamble
 575 End
 576
 577
 578 # Define Case as an enumeration environment
 579 Style Case
 580         CopyStyle             Enumerate
 581         LatexName             caseenv
 582         LabelType             Static
 583         LeftMargin            "MMMMMMN"
 584         LabelString           "Case #:"
 585         Preamble
 586           \newcounter{casectr}
 587           \newenvironment{caseenv}
 588           {\begin{list}{\bfseries\upshape Case \arabic{casectr}:}{}\setcounter{casectr}{0}\usecounter{casectr}}
 589           {\end{list}}
 590         EndPreamble
 591 End