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