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