lib/layouts/theorems-starred.inc

   1 # Original 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 # Modularized Jan 08 by Richard Heck <rgheck@comcast.net>
   6
   7 # The starred environnements defined are :
   8 # - Theorem
   9 # - Corollary
  10 # - Lemma
  11 # - Proposition
  12 # - Conjecture
  13 # - Definition
  14 # - Example
  15 # - Problem
  16 # - Exercise
  17 # - Remark
  18 # - Claim
  19 # - Proof
  20
  21 Format 8
  22
  23 Style Theorem*
  24         Category              Theorem
  25         LatexType             Environment
  26         Margin                First_Dynamic
  27         LatexName             thm*
  28         LabelType             Static
  29         LabelString           "Theorem."
  30         NextNoIndent          1
  31         OptionalArgs          1
  32         LabelSep              xx
  33         ParIndent             MMM
  34         ParSkip               0.4
  35         ItemSep               0.2
  36         TopSep                0.7
  37         BottomSep             0.7
  38         ParSep                0.3
  39         Align                 Block
  40         AlignPossible         Left
  41         Font
  42           Shape               Italic
  43           Size                Normal
  44         EndFont
  45         LabelFont
  46           Shape               Up
  47           Series              Bold
  48         EndFont
  49         Preamble
  50           \theoremstyle{plain}
  51           \newtheorem*{thm*}{Theorem}
  52         EndPreamble
  53         Requires              amsthm
  54 End
  55
  56
  57 Style Corollary*
  58         CopyStyle             Theorem*
  59         LatexName             cor*
  60         LabelString           "Corollary."
  61         Preamble
  62           \theoremstyle{plain}
  63           \newtheorem*{cor*}{Corollary}
  64         EndPreamble
  65         Requires              amsthm
  66 End
  67
  68
  69 Style Lemma*
  70         CopyStyle             Theorem*
  71         LatexName             lem*
  72         LabelString           "Lemma."
  73         Preamble
  74           \theoremstyle{plain}
  75           \newtheorem*{lem*}{Lemma}
  76         EndPreamble
  77         Requires              amsthm
  78 End
  79
  80
  81 Style Proposition*
  82         CopyStyle             Theorem*
  83         LatexName             prop*
  84         LabelString           "Proposition."
  85         Preamble
  86           \theoremstyle{plain}
  87           \newtheorem*{prop*}{Proposition}
  88         EndPreamble
  89         Requires              amsthm
  90 End
  91
  92
  93 Style Conjecture*
  94         CopyStyle             Theorem*
  95         LatexName             conjecture*
  96         LabelString           "Conjecture."
  97         Preamble
  98           \theoremstyle{plain}
  99           \newtheorem*{conjecture*}{Conjecture}
 100         EndPreamble
 101         Requires              amsthm
 102 End
 103
 104
 105 Style Fact*
 106         CopyStyle             Theorem*
 107         LatexName             fact*
 108         LabelString           "Fact."
 109         Preamble
 110           \theoremstyle{plain}
 111           \newtheorem*{fact*}{Fact}
 112         EndPreamble
 113         Requires              amsthm
 114 End
 115
 116
 117 Style Definition*
 118         CopyStyle             Theorem*
 119         LatexName             defn*
 120 #LabelType             Static
 121         LabelString           "Definition."
 122         Font
 123           Shape               Up
 124         EndFont
 125         LabelFont
 126           Shape               Up
 127           Series              Bold
 128         EndFont
 129         Preamble
 130          \theoremstyle{definition}
 131          \newtheorem*{defn*}{Definition}
 132         EndPreamble
 133         Requires              amsthm
 134 End
 135
 136
 137 Style Example*
 138         CopyStyle             Definition*
 139         LatexName             example*
 140         LabelString           "Example."
 141         Preamble
 142           \theoremstyle{definition}
 143           \newtheorem*{example*}{Example}
 144         EndPreamble
 145         Requires              amsthm
 146 End
 147
 148
 149 Style Problem*
 150         CopyStyle             Definition*
 151         LatexName             problem*
 152         LabelString           "Problem."
 153         Preamble
 154           \theoremstyle{definition}
 155           \newtheorem*{problem*}{Problem}
 156         EndPreamble
 157         Requires              amsthm
 158 End
 159
 160
 161 Style Exercise*
 162         CopyStyle             Definition*
 163         LatexName             xca*
 164         LabelString           "Exercise."
 165         Preamble
 166           \theoremstyle{definition}
 167           \newtheorem*{xca*}{Exercise}
 168         EndPreamble
 169         Requires              amsthm
 170 End
 171
 172
 173 Style Remark*
 174         CopyStyle             Theorem*
 175         LatexName             rem*
 176         LabelString           "Remark."
 177         Font
 178           Shape               Up
 179           Size                Normal
 180         EndFont
 181         LabelFont
 182           Series              Medium
 183           Shape               Italic
 184         EndFont
 185         Preamble
 186           \theoremstyle{remark}
 187           \newtheorem*{rem*}{Remark}
 188         EndPreamble
 189         Requires              amsthm
 190 End
 191
 192
 193 Style Claim*
 194         CopyStyle             Remark*
 195         LatexName             claim*
 196         LabelString           "Claim."
 197         Preamble
 198           \theoremstyle{remark}
 199           \newtheorem*{claim*}{Claim}
 200         EndPreamble
 201         Requires              amsthm
 202 End
 203