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
   9
  10 # The environnements defined are :
  11 # - Theorem
  12 # - Theorem*
  13 # - Corollary
  14 # - Corollary*
  15 # - Lemma
  16 # - Lemma*
  17 # - Proposition
  18 # - Proposition*
  19 # - Conjecture
  20 # - Conjecture*
  21 # - Criterion
  22 # - Algorithm
  23 # - Axiom
  24 # - Definition
  25 # - Definition*
  26 # - Example
  27 # - Example*
  28 # - Condition
  29 # - Problem
  30 # - Exercise
  31 # - Remark
  32 # - Remark*
  33 # - Note
  34 # - Note*
  35 # - Notation
  36 # - Claim
  37 # - Claim*
  38 # - Summary
  39 # - Acknowledgement
  40 # - Acknowledgement*
  41 # - Case
  42 # - Conclusion
  43 # - Conclusion*
  44 # - Fact
  45 # - Fact*
  46
  47 # A hack: this is used to provide a preamble which is needed by other
  48 # style. Since this style has been obsoleted, it does not show up in
  49 # layout lists
  50 Style TheoremStyle
  51         ObsoletedBy           Standard
  52         Preamble
  53           \theoremstyle{plain}
  54         EndPreamble
  55 End
  56
  57
  58 # Theorem-numbered style declaration
  59 Style Theorem
  60         Margin                First_Dynamic
  61         LatexType             Environment
  62         LatexName             thm
  63         DependsOn             TheoremStyle
  64         NextNoIndent          1
  65         LabelSep              xx
  66         ParIndent             MMM
  67         ParSkip               0.4
  68         ItemSep               0.2
  69         TopSep                0.7
  70         BottomSep             0.7
  71         ParSep                0.3
  72         Align                 Block
  73         AlignPossible         Block, Left
  74         LabelType             Static
  75         LabelString           "Theorem #."
  76
  77
  78         # standard font definition
  79         Font
  80           Shape               Italic
  81           Size                Normal
  82         EndFont
  83
  84         # label font definition
  85         LabelFont
  86           Shape               Up
  87           Series              Bold
  88         EndFont
  89
  90 End
  91
  92 # Theorem-unnumbered style declaration
  93 Style Theorem*
  94         CopyStyle             Theorem
  95         LatexName             thm*
  96         LabelString           "Theorem."
  97
  98         Preamble
  99           \theoremstyle{plain}
 100           \newtheorem*{thm*}{Theorem}
 101         EndPreamble
 102 End
 103
 104 # Corollary-numbered style declaration
 105 Style Corollary
 106         CopyStyle             Theorem
 107         LatexName             cor
 108         LabelString           "Corollary #."
 109
 110         Preamble
 111           \theoremstyle{plain}
 112           \newtheorem{cor}[thm]{Corollary} %%Delete [thm] to re-start numbering
 113         EndPreamble
 114 End
 115 # Corollary-unnumbered style declaration
 116 Style Corollary*
 117         CopyStyle             Theorem
 118         LatexName             cor*
 119         LabelString           "Corollary."
 120
 121         Preamble
 122           \theoremstyle{plain}
 123           \newtheorem*{cor*}{Corollary}
 124         EndPreamble
 125 End
 126
 127 # Lemma-numbered style declaration
 128 Style Lemma
 129         CopyStyle             Theorem
 130         LatexName             lem
 131         LabelString           "Lemma #."
 132
 133         Preamble
 134           \theoremstyle{plain}
 135           \newtheorem{lem}[thm]{Lemma} %%Delete [thm] to re-start numbering
 136         EndPreamble
 137 End
 138
 139 # Lemma-unnumbered style declaration
 140 Style Lemma*
 141         CopyStyle             Theorem
 142         LatexName             lem*
 143         LabelString           "Lemma."
 144
 145         Preamble
 146           \theoremstyle{plain}
 147           \newtheorem*{lem*}{Lemma} %%Delete [thm] to re-start numbering
 148         EndPreamble
 149 End
 150
 151 # Proposition-numbered style declaration
 152 Style Proposition
 153         CopyStyle             Theorem
 154         LatexName             prop
 155         LabelString           "Proposition #."
 156
 157         Preamble
 158           \theoremstyle{plain}
 159           \newtheorem{prop}[thm]{Proposition} %%Delete [thm] to re-start numbering
 160         EndPreamble
 161 End
 162
 163 # Proposition-unnumbered style declaration
 164 Style Proposition*
 165         CopyStyle             Theorem
 166         LatexName             prop*
 167         LabelString           "Proposition."
 168
 169         Preamble
 170           \theoremstyle{plain}
 171           \newtheorem*{prop*}{Proposition}
 172         EndPreamble
 173 End
 174
 175 # Conjecture-numbered style declaration
 176 Style Conjecture
 177         CopyStyle             Theorem
 178         LatexName             conjecture
 179         LabelString           "Conjecture #."
 180
 181         Preamble
 182           \theoremstyle{plain}
 183           \newtheorem{conjecture}[thm]{Conjecture} %%Delete [thm] to re-start numbering
 184         EndPreamble
 185 End
 186
 187 # Conjecture-unnumbered style declaration
 188 Style Conjecture*
 189         CopyStyle             Theorem
 190         LatexName             conjecture*
 191         LabelString           "Conjecture."
 192
 193         Preamble
 194           \theoremstyle{plain}
 195           \newtheorem*{conjecture*}{Conjecture}
 196         EndPreamble
 197 End
 198
 199 # Criterion-numbered style declaration
 200 Style Criterion
 201         CopyStyle             Theorem
 202         LatexName             criterion
 203         LabelString           "Criterion #."
 204
 205         Preamble
 206           \theoremstyle{plain}
 207           \newtheorem{criterion}[thm]{Criterion} %%Delete [thm] to re-start numbering
 208         EndPreamble
 209 End
 210
 211 # Algorithm-numbered style declaration
 212 Style Algorithm
 213         CopyStyle             Theorem
 214         LatexName             algorithm
 215         LabelString           "Algorithm #."
 216
 217         Preamble
 218           \theoremstyle{plain}
 219           \newtheorem{algorithm}[thm]{Algorithm} %%Delete [thm] to re-start numbering
 220         EndPreamble
 221 End
 222
 223 # Fact-numbered style declaration
 224 Style Fact
 225         CopyStyle             Theorem
 226         LatexName             fact
 227         LabelString           "Fact #."
 228
 229         Preamble
 230           \theoremstyle{plain}
 231           \newtheorem{fact}[thm]{Fact}
 232         EndPreamble
 233 End
 234
 235 # Fact-unnumbered style declaration
 236 Style Fact*
 237         CopyStyle             Theorem
 238         LatexName             fact*
 239         LabelString           "Fact."
 240
 241         Preamble
 242           \theoremstyle{plain}
 243           \newtheorem*{fact*}{Fact}
 244         EndPreamble
 245 End
 246
 247 # Axiom-numbered style declaration
 248 Style Axiom
 249         CopyStyle             Theorem
 250         LatexName             ax
 251         LabelString           "Axiom #."
 252
 253         Preamble
 254           \theoremstyle{plain}
 255           \newtheorem{ax}[thm]{Axiom}
 256         EndPreamble
 257 End
 258
 259 # Definition-numbered style declaration
 260 Style Definition
 261         CopyStyle             Theorem
 262         LatexName             defn
 263         LabelString           "Definition #."
 264
 265         # standard font definition
 266         Font
 267           Shape               Up
 268         EndFont
 269
 270         # label font definition
 271         LabelFont
 272           Shape               Up
 273           Series              Bold
 274         EndFont
 275
 276         Preamble
 277          \theoremstyle{definition}
 278          \newtheorem{defn}[thm]{Definition}
 279         EndPreamble
 280 End
 281 # Definition-unnumbered style declaration
 282 Style Definition*
 283         CopyStyle             Definition
 284         LatexName             defn*
 285         LabelString           "Definition."
 286
 287         Preamble
 288          \theoremstyle{definition}
 289          \newtheorem*{defn*}{Definition}
 290         EndPreamble
 291 End
 292
 293 # Example-numbered style declaration
 294 Style Example
 295         CopyStyle             Definition
 296         LatexName             example
 297         LabelString           "Example #."
 298
 299         Preamble
 300          \theoremstyle{definition}
 301           \newtheorem{example}[thm]{Example}
 302         EndPreamble
 303 End
 304
 305 # Example-unnumbered style declaration
 306 Style Example*
 307         CopyStyle             Definition
 308         LatexName             example*
 309         LabelString           "Example."
 310
 311         Preamble
 312          \theoremstyle{definition}
 313           \newtheorem*{example*}{Example}
 314         EndPreamble
 315 End
 316
 317 # Condition-numbered style declaration
 318 Style Condition
 319         CopyStyle             Definition
 320         LatexName             condition
 321         LabelString           "Condition #."
 322
 323         Preamble
 324          \theoremstyle{definition}
 325           \newtheorem{condition}[thm]{Condition}
 326         EndPreamble
 327 End
 328
 329 # Problem-numbered style declaration
 330 Style Problem
 331         CopyStyle             Definition
 332         LatexName             problem
 333         LabelString           "Problem #."
 334
 335         Preamble
 336          \theoremstyle{definition}
 337           \newtheorem{problem}[thm]{Problem}
 338         EndPreamble
 339 End
 340
 341 # Exercise-numbered style declaration
 342 Style Exercise
 343         CopyStyle             Definition
 344         LatexName             xca
 345         LabelString           "Exercise #."
 346
 347         Preamble
 348          \theoremstyle{definition}
 349           \newtheorem{xca}[section]{Exercise}%%Delete [section] for sequential numbering
 350         EndPreamble
 351 End
 352
 353 # Remark-numbered style declaration
 354 Style Remark
 355         CopyStyle             Theorem
 356         LatexName             rem
 357         LabelString           "Remark #."
 358
 359         # standard font definition
 360         Font
 361           Shape               Up
 362           Size                Normal
 363         EndFont
 364
 365         # label font definition
 366         LabelFont
 367           Series              Medium
 368           Shape               Italic
 369         EndFont
 370
 371         Preamble
 372           \theoremstyle{remark}
 373           \newtheorem{rem}[thm]{Remark}
 374         EndPreamble
 375 End
 376 # Remark-unnumbered style declaration
 377 Style Remark*
 378         CopyStyle             Remark
 379         LatexName             rem*
 380         LabelString           "Remark."
 381
 382         Preamble
 383           \theoremstyle{remark}
 384           \newtheorem*{rem*}{Remark}
 385         EndPreamble
 386 End
 387
 388 # Claim-numbered style declaration
 389 Style Claim
 390         CopyStyle             Remark
 391         LatexName             claim
 392         LabelString           "Claim #."
 393
 394         Preamble
 395           \theoremstyle{remark}
 396           \newtheorem{claim}[thm]{Claim}
 397         EndPreamble
 398 End
 399
 400 # Claim-unnumbered style declaration
 401 Style Claim*
 402         CopyStyle             Remark
 403         LatexName             claim*
 404         LabelString           "Claim."
 405
 406         Preamble
 407           \theoremstyle{remark}
 408           \newtheorem*{claim*}{Claim}
 409         EndPreamble
 410 End
 411
 412 # Note-numbered style declaration
 413 Style Note
 414         CopyStyle             Remark
 415         LatexName             note
 416         LabelString           "Note #."
 417
 418         Preamble
 419           \theoremstyle{remark}
 420           \newtheorem{note}[thm]{Note}
 421         EndPreamble
 422 End
 423
 424 # Note-unnumbered style declaration
 425 Style Note*
 426         CopyStyle             Remark
 427         LatexName             note*
 428         LabelString           "Note."
 429
 430         Preamble
 431           \theoremstyle{remark}
 432           \newtheorem*{note*}{Note}
 433         EndPreamble
 434 End
 435
 436
 437 # Notation-numbered style declaration
 438 Style Notation
 439         CopyStyle             Remark
 440         LatexName             notation
 441         LabelString           "Notation #."
 442
 443         Preamble
 444           \theoremstyle{remark}
 445           \newtheorem{notation}[thm]{Notation}
 446         EndPreamble
 447 End
 448
 449 # Summary-numbered style declaration
 450 Style Summary
 451         CopyStyle             Remark
 452         LatexName             summary
 453         LabelString           "Summary #."
 454
 455         Preamble
 456           \theoremstyle{remark}
 457           \newtheorem{summary}[thm]{Summary}
 458         EndPreamble
 459 End
 460
 461 # Acknowledgement-numbered style declaration
 462 Style Acknowledgement
 463         CopyStyle             Remark
 464         LatexName             acknowledgement
 465         LabelString           "Acknowledgement #."
 466
 467         Preamble
 468           \theoremstyle{remark}
 469           \newtheorem{acknowledgement}[thm]{Acknowledgement}
 470         EndPreamble
 471 End
 472 # Acknowledgement-unnumbered style declaration
 473 Style Acknowledgement*
 474         CopyStyle             Remark
 475         LatexName             acknowledgement*
 476         LabelString           "Acknowledgement."
 477
 478         Preamble
 479           \theoremstyle{remark}
 480           \newtheorem*{acknowledgement*}{Acknowledgement}
 481         EndPreamble
 482 End
 483
 484 # Case-numbered style declaration
 485 Style Case
 486         CopyStyle             Remark
 487         LatexName             case
 488         LabelString           "Case #."
 489
 490         Preamble
 491           \theoremstyle{remark}
 492           \newtheorem{case}{Case} %%Numbering of Cases not keyed to sections
 493         EndPreamble
 494 End
 495
 496 # Conclusion-numbered style declaration
 497 Style Conclusion
 498         CopyStyle             Remark
 499         LatexName             conclusion
 500         LabelString           "Conclusion #."
 501
 502         Preamble
 503           \theoremstyle{remark}
 504           \newtheorem{conclusion}[thm]{Conclusion}
 505         EndPreamble
 506 End
 507
 508 # Conclusion-unnumbered style declaration
 509 Style Conclusion*
 510         CopyStyle             Remark
 511         LatexName             conclusion*
 512         LabelString           "Conclusion #."
 513
 514         Preamble
 515           \theoremstyle{remark}
 516           \newtheorem*{conclusion*}{Conclusion}
 517         EndPreamble
 518 End
 519