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