lib/layouts/amsmaths-plain.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 # Tinkered with Sep. '07 by Paul Rubin <rubin@msu.edu>
   5
   6
   7 # These are only the plain (unnumbered) theorem styles environments.
   8 # Both starred and unstarred versions are included for compatibility
   9 # with the other AMS classes.
  10 # The environments defined are:
  11 # - Theorem
  12 # - Corollary
  13 # - Lemma
  14 # - Proposition
  15 # - Conjecture
  16 # - Criterion
  17 # - Algorithm
  18 # - Fact
  19 # - Axiom
  20 # - Definition
  21 # - Example
  22 # - Condition
  23 # - Problem
  24 # - Exercise
  25 # - Remark
  26 # - Claim
  27 # - Note
  28 # - Notation
  29 # - Summary
  30 # - Acknowledgement
  31 # - Conclusion
  32 # - Assumption
  33 # - Case (regular only -- defined as an enumeration)
  34
  35
  36 Format 5
  37
  38 Style Theorem
  39         LatexName             thm*
  40         LabelString           "Theorem."
  41 End
  42
  43
  44 Style Corollary
  45         LatexName             cor*
  46         LabelString           "Corollary."
  47 End
  48
  49
  50 Style Lemma
  51         LatexName             lem*
  52         LabelString           "Lemma."
  53 End
  54
  55
  56 Style Proposition
  57         LatexName             prop*
  58         LabelString           "Proposition."
  59 End
  60
  61
  62 Style Conjecture
  63         LatexName             conjecture*
  64         LabelString           "Conjecture."
  65 End
  66
  67
  68 Style Criterion
  69         LatexName             criterion*
  70         LabelString           "Criterion."
  71 End
  72
  73
  74 Style Algorithm
  75         LatexName             algorithm*
  76         LabelString           "Algorithm."
  77 End
  78
  79
  80 Style Fact
  81         LatexName             fact*
  82         LabelString           "Fact."
  83 End
  84
  85
  86 Style Axiom
  87         LatexName             ax*
  88         LabelString           "Axiom."
  89 End
  90
  91
  92 Style Definition
  93         LatexName             defn*
  94         LabelString           "Definition."
  95 End
  96
  97
  98 Style Example
  99         LatexName             example*
 100         LabelString           "Example."
 101 End
 102
 103
 104 Style Condition
 105         LatexName             condition*
 106         LabelString           "Condition."
 107 End
 108
 109
 110 Style Problem
 111         LatexName             problem*
 112         LabelString           "Problem."
 113 End
 114
 115
 116 Style Exercise
 117         LatexName             xca*
 118         LabelString           "Exercise."
 119 End
 120
 121
 122 Style Remark
 123         LatexName             rem*
 124         LabelString           "Remark."
 125 End
 126
 127
 128 Style Claim
 129         LatexName             claim*
 130         LabelString           "Claim."
 131 End
 132
 133
 134 Style Note
 135         LatexName             note*
 136         LabelString           "Note."
 137 End
 138
 139
 140 Style Notation
 141         LatexName             notation*
 142         LabelString           "Notation."
 143 End
 144
 145
 146 Style Summary
 147         LatexName             summary*
 148         LabelString           "Summary."
 149 End
 150
 151
 152 Style Acknowledgement
 153         LatexName             acknowledgement*
 154         LabelString           "Acknowledgement."
 155 End
 156
 157
 158 Style Conclusion
 159         LatexName             conclusion*
 160         LabelString           "Conclusion."
 161 End
 162
 163
 164 Style Assumption
 165         LatexName             assumption*
 166         LabelString           "Assumption."
 167 End