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