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         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 End
  54
  55
  56 Style Corollary*
  57         CopyStyle             Theorem*
  58         LatexName             cor*
  59         LabelString           "Corollary."
  60         Preamble
  61           \theoremstyle{plain}
  62           \newtheorem*{cor*}{Corollary}
  63         EndPreamble
  64 End
  65
  66
  67 Style Lemma*
  68         CopyStyle             Theorem*
  69         LatexName             lem*
  70         LabelString           "Lemma."
  71         Preamble
  72           \theoremstyle{plain}
  73           \newtheorem*{lem*}{Lemma}
  74         EndPreamble
  75 End
  76
  77
  78 Style Proposition*
  79         CopyStyle             Theorem*
  80         LatexName             prop*
  81         LabelString           "Proposition."
  82         Preamble
  83           \theoremstyle{plain}
  84           \newtheorem*{prop*}{Proposition}
  85         EndPreamble
  86 End
  87
  88
  89 Style Conjecture*
  90         CopyStyle             Theorem*
  91         LatexName             conjecture*
  92         LabelString           "Conjecture."
  93         Preamble
  94           \theoremstyle{plain}
  95           \newtheorem*{conjecture*}{Conjecture}
  96         EndPreamble
  97 End
  98
  99
 100 Style Fact*
 101         CopyStyle             Theorem*
 102         LatexName             fact*
 103         LabelString           "Fact."
 104         Preamble
 105           \theoremstyle{plain}
 106           \newtheorem*{fact*}{Fact}
 107         EndPreamble
 108 End
 109
 110
 111 Style Definition*
 112         CopyStyle             Theorem*
 113         LatexName             defn*
 114 #LabelType             Static
 115         LabelString           "Definition."
 116         Font
 117           Shape               Up
 118         EndFont
 119         LabelFont
 120           Shape               Up
 121           Series              Bold
 122         EndFont
 123         Preamble
 124          \theoremstyle{definition}
 125          \newtheorem*{defn*}{Definition}
 126         EndPreamble
 127 End
 128
 129
 130 Style Example*
 131         CopyStyle             Definition*
 132         LatexName             example*
 133         LabelString           "Example."
 134         Preamble
 135           \theoremstyle{definition}
 136           \newtheorem*{example*}{Example}
 137         EndPreamble
 138 End
 139
 140
 141 Style Problem*
 142         CopyStyle             Definition*
 143         LatexName             problem*
 144         LabelString           "Problem."
 145         Preamble
 146           \theoremstyle{definition}
 147           \newtheorem*{problem*}{Problem}
 148         EndPreamble
 149 End
 150
 151
 152 Style Exercise*
 153         CopyStyle             Definition*
 154         LatexName             xca*
 155         LabelString           "Exercise."
 156         Preamble
 157           \theoremstyle{definition}
 158           \newtheorem*{xca*}{Exercise}
 159         EndPreamble
 160 End
 161
 162
 163 Style Remark*
 164         CopyStyle             Theorem*
 165         LatexName             rem*
 166         LabelString           "Remark."
 167         Font
 168           Shape               Up
 169           Size                Normal
 170         EndFont
 171         LabelFont
 172           Series              Medium
 173           Shape               Italic
 174         EndFont
 175         Preamble
 176           \theoremstyle{remark}
 177           \newtheorem*{rem*}{Remark}
 178         EndPreamble
 179 End
 180
 181
 182 Style Claim*
 183         CopyStyle             Remark*
 184         LatexName             claim*
 185         LabelString           "Claim."
 186         Preamble
 187           \theoremstyle{remark}
 188           \newtheorem*{claim*}{Claim}
 189         EndPreamble
 190 End
 191