lib/layouts/theorems-ams.inc

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