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