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         LabelFont
 119           Shape               Up
 120           Series              Bold
 121         EndFont
 122         Preamble
 123          \theoremstyle{definition}
 124          \newtheorem*{defn*}{Definition}
 125         EndPreamble
 126 End
 127
 128
 129 Style Example*
 130         CopyStyle             Definition*
 131         LatexName             example*
 132         LabelString           "Example."
 133         Preamble
 134           \theoremstyle{definition}
 135           \newtheorem*{example*}{Example}
 136         EndPreamble
 137 End
 138
 139
 140 Style Problem*
 141         CopyStyle             Definition*
 142         LatexName             problem*
 143         LabelString           "Problem."
 144         Preamble
 145           \theoremstyle{definition}
 146           \newtheorem*{problem*}{Problem}
 147         EndPreamble
 148 End
 149
 150
 151 Style Exercise*
 152         CopyStyle             Definition*
 153         LatexName             xca*
 154         LabelString           "Exercise."
 155         Preamble
 156           \theoremstyle{definition}
 157           \newtheorem*{xca*}{Exercise}
 158         EndPreamble
 159 End
 160
 161
 162 Style Remark*
 163         CopyStyle             Theorem*
 164         LatexName             rem*
 165         LabelString           "Remark."
 166         Font
 167           Shape               Up
 168           Size                Normal
 169         EndFont
 170         LabelFont
 171           Series              Medium
 172           Shape               Italic
 173         EndFont
 174         Preamble
 175           \theoremstyle{remark}
 176           \newtheorem*{rem*}{Remark}
 177         EndPreamble
 178 End
 179
 180
 181 Style Claim*
 182         CopyStyle             Remark*
 183         LatexName             claim*
 184         LabelString           "Claim."
 185         Preamble
 186           \theoremstyle{remark}
 187           \newtheorem*{claim*}{Claim}
 188         EndPreamble
 189 End
 190