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