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 29
  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*}{\protect\theoremname}
  52         EndPreamble
  53         LangPreamble
  54           \providecommand{\theoremname}{_(Theorem)}
  55         EndLangPreamble
  56         BabelPreamble
  57           \addto\captions$$lang{\renewcommand{\theoremname}{_(Theorem)}}
  58         EndBabelPreamble
  59         Requires              amsthm
  60 End
  61
  62
  63 Style Corollary*
  64         CopyStyle             Theorem*
  65         LatexName             cor*
  66         LabelString           "Corollary."
  67         Preamble
  68           \theoremstyle{plain}
  69           \newtheorem*{cor*}{\protect\corollaryname}
  70         EndPreamble
  71         LangPreamble
  72           \providecommand{\corollaryname}{_(Corollary)}
  73         EndLangPreamble
  74         BabelPreamble
  75           \addto\captions$$lang{\renewcommand{\corollaryname}{_(Corollary)}}
  76         EndBabelPreamble
  77 End
  78
  79
  80 Style Lemma*
  81         CopyStyle             Theorem*
  82         LatexName             lem*
  83         LabelString           "Lemma."
  84         Preamble
  85           \theoremstyle{plain}
  86           \newtheorem*{lem*}{\protect\lemmaname}
  87         EndPreamble
  88         LangPreamble
  89           \providecommand{\lemmaname}{_(Lemma)}
  90         EndLangPreamble
  91         BabelPreamble
  92           \addto\captions$$lang{\renewcommand{\lemmaname}{_(Lemma)}}
  93         EndBabelPreamble
  94 End
  95
  96
  97 Style Proposition*
  98         CopyStyle             Theorem*
  99         LatexName             prop*
 100         LabelString           "Proposition."
 101         Preamble
 102           \theoremstyle{plain}
 103           \newtheorem*{prop*}{\protect\propositionname}
 104         EndPreamble
 105         LangPreamble
 106           \providecommand{\propositionname}{_(Proposition)}
 107         EndLangPreamble
 108         BabelPreamble
 109           \addto\captions$$lang{\renewcommand{\propositionname}{_(Proposition)}}
 110         EndBabelPreamble
 111 End
 112
 113
 114 Style Conjecture*
 115         CopyStyle             Theorem*
 116         LatexName             conjecture*
 117         LabelString           "Conjecture."
 118         Preamble
 119           \theoremstyle{plain}
 120           \newtheorem*{conjecture*}{\protect\conjecturename}
 121         EndPreamble
 122         LangPreamble
 123           \providecommand{\conjecturename}{_(Conjecture)}
 124         EndLangPreamble
 125         BabelPreamble
 126           \addto\captions$$lang{\renewcommand{\conjecturename}{_(Conjecture)}}
 127         EndBabelPreamble
 128 End
 129
 130
 131 Style Fact*
 132         CopyStyle             Theorem*
 133         LatexName             fact*
 134         LabelString           "Fact."
 135         Preamble
 136           \theoremstyle{plain}
 137           \newtheorem*{fact*}{\protect\factname}
 138         EndPreamble
 139         LangPreamble
 140           \providecommand{\factname}{_(Fact)}
 141         EndLangPreamble
 142         BabelPreamble
 143           \addto\captions$$lang{\renewcommand{\factname}{_(Fact)}}
 144         EndBabelPreamble
 145 End
 146
 147
 148 Style Definition*
 149         CopyStyle             Theorem*
 150         LatexName             defn*
 151 #LabelType             Static
 152         LabelString           "Definition."
 153         Font
 154           Shape               Up
 155         EndFont
 156         LabelFont
 157           Shape               Up
 158           Series              Bold
 159         EndFont
 160         Preamble
 161          \theoremstyle{definition}
 162          \newtheorem*{defn*}{\protect\definitionname}
 163         EndPreamble
 164         LangPreamble
 165           \providecommand{\definitionname}{_(Definition)}
 166         EndLangPreamble
 167         BabelPreamble
 168           \addto\captions$$lang{\renewcommand{\definitionname}{_(Definition)}}
 169         EndBabelPreamble
 170 End
 171
 172
 173 Style Example*
 174         CopyStyle             Definition*
 175         LatexName             example*
 176         LabelString           "Example."
 177         Preamble
 178           \theoremstyle{definition}
 179           \newtheorem*{example*}{\protect\examplename}
 180         EndPreamble
 181         LangPreamble
 182           \providecommand{\examplename}{_(Example)}
 183         EndLangPreamble
 184         BabelPreamble
 185           \addto\captions$$lang{\renewcommand{\examplename}{_(Example)}}
 186         EndBabelPreamble
 187 End
 188
 189
 190 Style Problem*
 191         CopyStyle             Definition*
 192         LatexName             problem*
 193         LabelString           "Problem."
 194         Preamble
 195           \theoremstyle{definition}
 196           \newtheorem*{problem*}{\protect\problemname}
 197         EndPreamble
 198         LangPreamble
 199           \providecommand{\problemname}{_(Problem)}
 200         EndLangPreamble
 201         BabelPreamble
 202           \addto\captions$$lang{\renewcommand{\problemname}{_(Problem)}}
 203         EndBabelPreamble
 204 End
 205
 206
 207 Style Exercise*
 208         CopyStyle             Definition*
 209         LatexName             xca*
 210         LabelString           "Exercise."
 211         Preamble
 212           \theoremstyle{definition}
 213           \newtheorem*{xca*}{\protect\exercisename}
 214         EndPreamble
 215         LangPreamble
 216           \providecommand{\exercisename}{_(Exercise)}
 217         EndLangPreamble
 218         BabelPreamble
 219           \addto\captions$$lang{\renewcommand{\exercisename}{_(Exercise)}}
 220         EndBabelPreamble
 221 End
 222
 223
 224 Style Remark*
 225         CopyStyle             Theorem*
 226         LatexName             rem*
 227         LabelString           "Remark."
 228         Font
 229           Shape               Up
 230           Size                Normal
 231         EndFont
 232         LabelFont
 233           Series              Medium
 234           Shape               Italic
 235         EndFont
 236         Preamble
 237           \theoremstyle{remark}
 238           \newtheorem*{rem*}{\protect\remarkname}
 239         EndPreamble
 240         LangPreamble
 241           \providecommand{\remarkname}{_(Remark)}
 242         EndLangPreamble
 243         BabelPreamble
 244           \addto\captions$$lang{\renewcommand{\remarkname}{_(Remark)}}
 245         EndBabelPreamble
 246 End
 247
 248
 249 Style Claim*
 250         CopyStyle             Remark*
 251         LatexName             claim*
 252         LabelString           "Claim."
 253         Preamble
 254           \theoremstyle{remark}
 255           \newtheorem*{claim*}{\protect\claimname}
 256         EndPreamble
 257         LangPreamble
 258           \providecommand{\claimname}{_(Claim)}
 259         EndLangPreamble
 260         BabelPreamble
 261           \addto\captions$$lang{\renewcommand{\claimname}{_(Claim)}}
 262         EndBabelPreamble
 263 End
 264