Layouts/AMS/1.5.x/amsmaths-seq.inc

   1 # Author : David L. Johnson <dlj0@lehigh.edu>\r
   2 # Probably broken by Jean-Marc Lasgouttes <Jean-Marc.Lasgouttes@inria.fr>\r
   3 # modified and modularized by Emmanuel GUREGHIAN <gureghia@boston.bertin.fr>\r
   4 # Tinkered with Sep. '07 by Paul Rubin <rubin@msu.edu>\r
   5 \r
   6 # These are only the theorems styles environnements\r
   7 # The environnements defined are :\r
   8 # - Theorem\r
   9 # - Corollary\r
  10 # - Lemma\r
  11 # - Proposition\r
  12 # - Conjecture\r
  13 # - Criterion\r
  14 # - Algorithm\r
  15 # - Fact\r
  16 # - Axiom\r
  17 # - Definition\r
  18 # - Example\r
  19 # - Condition\r
  20 # - Problem\r
  21 # - Exercise\r
  22 # - Remark\r
  23 # - Claim\r
  24 # - Note\r
  25 # - Notation\r
  26 # - Summary\r
  27 # - Acknowledgement\r
  28 # - Conclusion\r
  29 # - Assumption\r
  30 # - Case (regular only -- defined as an enumeration)\r
  31 \r
  32 Format 4\r
  33 \r
  34 # Use a simpler preamble.\r
  35 \r
  36 Preamble\r
  37 EndPreamble\r
  38 \r
  39 \r
  40 # but more counters\r
  41 \r
  42 # Do not restart theorem counter after section change\r
  43 Counter\r
  44         Name                  thm\r
  45 End\r
  46 \r
  47 Counter\r
  48         Name                  corollary\r
  49 End\r
  50 \r
  51 \r
  52 Counter\r
  53         Name                  lemma\r
  54 End\r
  55 \r
  56 \r
  57 Counter\r
  58         Name                  proposition\r
  59 End\r
  60 \r
  61 \r
  62 Counter\r
  63         Name                  conjecture\r
  64 End\r
  65 \r
  66 \r
  67 Counter\r
  68         Name                  criterion\r
  69 End\r
  70 \r
  71 \r
  72 Counter\r
  73         Name                  algorithm\r
  74 End\r
  75 \r
  76 \r
  77 Counter\r
  78         Name                  fact\r
  79 End\r
  80 \r
  81 \r
  82 Counter\r
  83         Name                  axiom\r
  84 End\r
  85 \r
  86 \r
  87 Counter\r
  88         Name                  definition\r
  89 End\r
  90 \r
  91 \r
  92 Counter\r
  93         Name                  example\r
  94 End\r
  95 \r
  96 \r
  97 Counter\r
  98         Name                  condition\r
  99 End\r
 100 \r
 101 \r
 102 Counter\r
 103         Name                  problem\r
 104 End\r
 105 \r
 106 \r
 107 Counter\r
 108         Name                  exercise\r
 109 End\r
 110 \r
 111 \r
 112 Counter\r
 113         Name                  remark\r
 114 End\r
 115 \r
 116 \r
 117 Counter\r
 118         Name                  claim\r
 119 End\r
 120 \r
 121 \r
 122 Counter\r
 123         Name                  note\r
 124 End\r
 125 \r
 126 \r
 127 Counter\r
 128         Name                  notation\r
 129 End\r
 130 \r
 131 \r
 132 Counter\r
 133         Name                  summary\r
 134 End\r
 135 \r
 136 \r
 137 Counter\r
 138         Name                  acknowledgement\r
 139 End\r
 140 \r
 141 \r
 142 Counter\r
 143         Name                  conclusion\r
 144 End\r
 145 \r
 146 Counter\r
 147         Name                  assumption\r
 148 End\r
 149 \r
 150 Style Theorem\r
 151         LabelCounter          thm\r
 152         LabelString           "Theorem \arabic{thm}."\r
 153         Preamble\r
 154           \theoremstyle{plain}\r
 155           \newtheorem{thm}{Theorem}\r
 156         EndPreamble\r
 157 End\r
 158 \r
 159 \r
 160 Style Corollary\r
 161         LabelCounter          corollary\r
 162         LabelString           "Corollary \arabic{corollary}."\r
 163         Preamble\r
 164           \theoremstyle{plain}\r
 165           \newtheorem{cor}{Corollary}\r
 166         EndPreamble\r
 167 End\r
 168 \r
 169 \r
 170 Style Lemma\r
 171         LabelCounter          lemma\r
 172         LabelString           "Lemma \arabic{lemma}."\r
 173         Preamble\r
 174           \theoremstyle{plain}\r
 175           \newtheorem{lem}{Lemma}\r
 176         EndPreamble\r
 177 End\r
 178 \r
 179 \r
 180 Style Proposition\r
 181         LabelCounter          proposition\r
 182         LabelString           "Proposition \arabic{proposition}."\r
 183         Preamble\r
 184           \theoremstyle{plain}\r
 185           \newtheorem{prop}{Proposition}\r
 186         EndPreamble\r
 187 End\r
 188 \r
 189 \r
 190 Style Conjecture\r
 191         LabelCounter          conjecture\r
 192         LabelString           "Conjecture \arabic{conjecture}."\r
 193         Preamble\r
 194           \theoremstyle{plain}\r
 195           \newtheorem{conjecture}{Conjecture}\r
 196         EndPreamble\r
 197 End\r
 198 \r
 199 \r
 200 Style Criterion\r
 201         LabelCounter          criterion\r
 202         LabelString           "Criterion \arabic{criterion}."\r
 203         Preamble\r
 204           \theoremstyle{plain}\r
 205           \newtheorem{criterion}{Criterion}\r
 206         EndPreamble\r
 207 End\r
 208 \r
 209 \r
 210 Style Algorithm\r
 211         LabelCounter          algorithm\r
 212         LabelString           "Algorithm \arabic{algorithm}."\r
 213         Preamble\r
 214           \theoremstyle{plain}\r
 215           \newtheorem{algorithm}{Algorithm}\r
 216         EndPreamble\r
 217 End\r
 218 \r
 219 \r
 220 Style Fact\r
 221         LabelCounter          fact\r
 222         LabelString           "Fact \arabic{fact}."\r
 223         Preamble\r
 224           \theoremstyle{plain}\r
 225           \newtheorem{fact}{Fact}\r
 226         EndPreamble\r
 227 End\r
 228 \r
 229 \r
 230 Style Axiom\r
 231         LabelCounter          axiom\r
 232         LabelString           "Axiom \arabic{axiom}."\r
 233         Preamble\r
 234           \theoremstyle{plain}\r
 235           \newtheorem{ax}{Axiom}\r
 236         EndPreamble\r
 237 End\r
 238 \r
 239 \r
 240 Style Definition\r
 241         LabelCounter          definition\r
 242         LabelString           "Definition \arabic{definition}."\r
 243         Preamble\r
 244          \theoremstyle{definition}\r
 245          \newtheorem{defn}{Definition}\r
 246         EndPreamble\r
 247 End\r
 248 \r
 249 \r
 250 Style Example\r
 251         LabelCounter          example\r
 252         LabelString           "Example \arabic{example}."\r
 253         Preamble\r
 254          \theoremstyle{definition}\r
 255           \newtheorem{example}{Example}\r
 256         EndPreamble\r
 257 End\r
 258 \r
 259 \r
 260 Style Condition\r
 261         LabelCounter          condition\r
 262         LabelString           "Condition \arabic{condition}."\r
 263         Preamble\r
 264          \theoremstyle{definition}\r
 265           \newtheorem{condition}{Condition}\r
 266         EndPreamble\r
 267 End\r
 268 \r
 269 \r
 270 Style Problem\r
 271         LabelCounter          problem\r
 272         LabelString           "Problem \arabic{problem}."\r
 273         Preamble\r
 274          \theoremstyle{definition}\r
 275           \newtheorem{problem}{Problem}\r
 276         EndPreamble\r
 277 End\r
 278 \r
 279 \r
 280 Style Exercise\r
 281         LabelCounter          exercise\r
 282         LabelString           "Exercise \arabic{exercise}."\r
 283         Preamble\r
 284          \theoremstyle{definition}\r
 285           \newtheorem{xca}{Exercise}\r
 286         EndPreamble\r
 287 End\r
 288 \r
 289 \r
 290 Style Remark\r
 291         LabelCounter          remark\r
 292         LabelString           "Remark \arabic{remark}."\r
 293         Preamble\r
 294           \theoremstyle{remark}\r
 295           \newtheorem{rem}{Remark}\r
 296         EndPreamble\r
 297 End\r
 298 \r
 299 \r
 300 Style Claim\r
 301         LabelCounter          claim\r
 302         LabelString           "Claim \arabic{claim}."\r
 303         Preamble\r
 304           \theoremstyle{remark}\r
 305           \newtheorem{claim}{Claim}\r
 306         EndPreamble\r
 307 End\r
 308 \r
 309 \r
 310 Style Note\r
 311         LabelCounter          note\r
 312         LabelString           "Note \arabic{note}."\r
 313         Preamble\r
 314           \theoremstyle{remark}\r
 315           \newtheorem{note}{Note}\r
 316         EndPreamble\r
 317 End\r
 318 \r
 319 \r
 320 Style Notation\r
 321         LabelCounter          notation\r
 322         LabelString           "Notation \arabic{notation}."\r
 323         Preamble\r
 324           \theoremstyle{remark}\r
 325           \newtheorem{notation}{Notation}\r
 326         EndPreamble\r
 327 End\r
 328 \r
 329 \r
 330 Style Summary\r
 331         LabelCounter          summary\r
 332         LabelString           "Summary \arabic{summary}."\r
 333         Preamble\r
 334           \theoremstyle{remark}\r
 335           \newtheorem{summary}{Summary}\r
 336         EndPreamble\r
 337 End\r
 338 \r
 339 \r
 340 Style Acknowledgement\r
 341         LabelCounter          acknowledgement\r
 342         LabelString           "Acknowledgement \arabic{acknowledgement}."\r
 343         Preamble\r
 344           \theoremstyle{remark}\r
 345           \newtheorem{acknowledgement}{Acknowledgement}\r
 346         EndPreamble\r
 347 End\r
 348 \r
 349 \r
 350 Style Conclusion\r
 351         LabelCounter          conclusion\r
 352         LabelString           "Conclusion \arabic{conclusion}."\r
 353         Preamble\r
 354           \theoremstyle{remark}\r
 355           \newtheorem{conclusion}{Conclusion}\r
 356         EndPreamble\r
 357 End\r
 358 \r
 359 \r
 360 Style Assumption\r
 361         LabelCounter          assumption\r
 362         LabelString           "Assumption \arabic{assumption}."\r
 363         Preamble\r
 364           \theoremstyle{plain}\r
 365           \newtheorem{assumption}{Assumption}\r
 366         EndPreamble\r
 367 End\r