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         LabelType             Static
  94         LabelString           "Theorem."
  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         LabelType             Static
 267         LabelString           "Definition."
 268         Preamble
 269          \theoremstyle{definition}
 270          \newtheorem*{defn*}{Definition}
 271         EndPreamble
 272 End
 273
 274
 275 Style Example
 276         CopyStyle             Definition
 277         LatexName             example
 278         LabelString           "Example @Section@.\arabic{theorem}."
 279         Preamble
 280          \theoremstyle{definition}
 281           \newtheorem{example}[thm]{Example}
 282         EndPreamble
 283 End
 284
 285
 286 Style Example*
 287         CopyStyle             Definition*
 288         LatexName             example*
 289         LabelString           "Example."
 290         Preamble
 291           \theoremstyle{definition}
 292           \newtheorem*{example*}{Example}
 293         EndPreamble
 294 End
 295
 296
 297 Style Condition
 298         CopyStyle             Definition
 299         LatexName             condition
 300         LabelString           "Condition @Section@.\arabic{theorem}."
 301         Preamble
 302           \theoremstyle{definition}
 303           \newtheorem{condition}[thm]{Condition}
 304         EndPreamble
 305 End
 306
 307
 308 Style Condition*
 309         CopyStyle             Definition*
 310         LatexName             condition*
 311         LabelString           "Condition."
 312         Preamble
 313           \theoremstyle{definition}
 314           \newtheorem*{condition*}{Condition}
 315         EndPreamble
 316 End
 317
 318
 319 Style Problem
 320         CopyStyle             Definition
 321         LatexName             problem
 322         LabelString           "Problem @Section@.\arabic{theorem}."
 323         Preamble
 324           \theoremstyle{definition}
 325           \newtheorem{problem}[thm]{Problem}
 326         EndPreamble
 327 End
 328
 329
 330 Style Problem*
 331         CopyStyle             Definition*
 332         LatexName             problem*
 333         LabelString           "Problem."
 334         Preamble
 335           \theoremstyle{definition}
 336           \newtheorem*{problem*}{Problem}
 337         EndPreamble
 338 End
 339
 340
 341 Style Exercise
 342         CopyStyle             Definition
 343         LatexName             xca
 344         LabelString           "Exercise @Section@.\arabic{theorem}."
 345         Preamble
 346           \theoremstyle{definition}
 347           %%Delete [section] for sequential numbering
 348           \newtheorem{xca}[section]{Exercise}
 349         EndPreamble
 350 End
 351
 352
 353 Style Exercise*
 354         CopyStyle             Definition*
 355         LatexName             xca
 356         LabelString           "Exercise."
 357         Preamble
 358           \theoremstyle{definition}
 359           \newtheorem*{xca*}{Exercise}
 360         EndPreamble
 361 End
 362
 363
 364 Style Remark
 365         CopyStyle             Theorem
 366         LatexName             rem
 367         LabelString           "Remark @Section@.\arabic{theorem}."
 368         Font
 369           Shape               Up
 370           Size                Normal
 371         EndFont
 372         LabelFont
 373           Series              Medium
 374           Shape               Italic
 375         EndFont
 376         Preamble
 377           \theoremstyle{remark}
 378           \newtheorem{rem}[thm]{Remark}
 379         EndPreamble
 380 End
 381
 382
 383 Style Remark*
 384         CopyStyle             Remark
 385         LatexName             rem*
 386         LabelType             Static
 387         LabelString           "Remark."
 388         Preamble
 389           \theoremstyle{remark}
 390           \newtheorem*{rem*}{Remark}
 391         EndPreamble
 392 End
 393
 394
 395 Style Claim
 396         CopyStyle             Remark
 397         LatexName             claim
 398         LabelString           "Claim @Section@.\arabic{theorem}."
 399         Preamble
 400           \theoremstyle{remark}
 401           \newtheorem{claim}[thm]{Claim}
 402         EndPreamble
 403 End
 404
 405
 406 Style Claim*
 407         CopyStyle             Remark*
 408         LatexName             claim*
 409         LabelString           "Claim."
 410         Preamble
 411           \theoremstyle{remark}
 412           \newtheorem*{claim*}{Claim}
 413         EndPreamble
 414 End
 415
 416
 417 Style Note
 418         CopyStyle             Remark
 419         LatexName             note
 420         LabelString           "Note @Section@.\arabic{theorem}."
 421         Preamble
 422           \theoremstyle{remark}
 423           \newtheorem{note}[thm]{Note}
 424         EndPreamble
 425 End
 426
 427
 428 Style Note*
 429         CopyStyle             Remark*
 430         LatexName             note*
 431         LabelString           "Note."
 432         Preamble
 433           \theoremstyle{remark}
 434           \newtheorem*{note*}{Note}
 435         EndPreamble
 436 End
 437
 438
 439 Style Notation
 440         CopyStyle             Remark
 441         LatexName             notation
 442         LabelString           "Notation @Section@.\arabic{theorem}."
 443         Preamble
 444           \theoremstyle{remark}
 445           \newtheorem{notation}[thm]{Notation}
 446         EndPreamble
 447 End
 448
 449
 450 Style Notation*
 451         CopyStyle             Remark*
 452         LatexName             notation*
 453         LabelString           "Notation."
 454         Preamble
 455           \theoremstyle{remark}
 456           \newtheorem*{notation*}[thm]{Notation}
 457         EndPreamble
 458 End
 459
 460
 461 Style Summary
 462         CopyStyle             Remark
 463         LatexName             summary
 464         LabelString           "Summary @Section@.\arabic{theorem}."
 465         Preamble
 466           \theoremstyle{remark}
 467           \newtheorem{summary}[thm]{Summary}
 468         EndPreamble
 469 End
 470
 471
 472 Style Acknowledgement
 473         CopyStyle             Remark
 474         LatexName             acknowledgement
 475         LabelString           "Acknowledgement @Section@.\arabic{theorem}."
 476         Preamble
 477           \theoremstyle{remark}
 478           \newtheorem{acknowledgement}[thm]{Acknowledgement}
 479         EndPreamble
 480 End
 481
 482
 483 Style Acknowledgement*
 484         CopyStyle             Remark*
 485         LatexName             acknowledgement*
 486         LabelString           "Acknowledgement."
 487         Preamble
 488           \theoremstyle{remark}
 489           \newtheorem*{acknowledgement*}{Acknowledgement}
 490         EndPreamble
 491 End
 492
 493
 494 Style Case
 495         CopyStyle             Remark
 496         LatexName             case
 497         LabelString           "Case @Section@.\arabic{theorem}."
 498         Preamble
 499           \theoremstyle{remark}
 500           \newtheorem{case}{Case} %%Numbering of Cases not keyed to sections
 501         EndPreamble
 502 End
 503
 504
 505 Style Conclusion
 506         CopyStyle             Remark
 507         LatexName             conclusion
 508         LabelString           "Conclusion @Section@.\arabic{theorem}."
 509         Preamble
 510           \theoremstyle{remark}
 511           \newtheorem{conclusion}[thm]{Conclusion}
 512         EndPreamble
 513 End
 514
 515
 516 Style Conclusion*
 517         CopyStyle             Remark*
 518         LatexName             conclusion*
 519         LabelString           "Conclusion."
 520         Preamble
 521           \theoremstyle{remark}
 522           \newtheorem*{conclusion*}{Conclusion}
 523         EndPreamble
 524 End