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