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