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 # - Solution
  18 # - Remark
  19 # - Claim
  20 # - Proof
  21
  22 Format 58
  23
  24 Style Theorem*
  25         Category              Reasoning
  26         LatexType             Environment
  27         Margin                First_Dynamic
  28         LatexName             thm*
  29         LabelType             Static
  30         LabelString           "Theorem."
  31         NextNoIndent          1
  32         ResetArgs             1
  33         Argument 1
  34                 LabelString    "Additional Theorem Text"
  35                 Tooltip        "Additional text appended to the theorem header"
  36         EndArgument
  37         LabelSep              xx
  38         ParIndent             MMM
  39         ParSkip               0.4
  40         ItemSep               0.2
  41         TopSep                0.7
  42         BottomSep             0.7
  43         ParSep                0.3
  44         Align                 Block
  45         AlignPossible         Left
  46         Font
  47           Shape               Italic
  48           Size                Normal
  49         EndFont
  50         LabelFont
  51           Shape               Up
  52           Series              Bold
  53         EndFont
  54         Preamble
  55           \theoremstyle{plain}
  56           \newtheorem*{thm*}{\protect\theoremname}
  57         EndPreamble
  58         LangPreamble
  59           \providecommand{\theoremname}{_(Theorem)}
  60         EndLangPreamble
  61         BabelPreamble
  62           \addto\captions$$lang{\renewcommand{\theoremname}{_(Theorem)}}
  63         EndBabelPreamble
  64         Requires              amsthm
  65 End
  66
  67
  68 Style Corollary*
  69         CopyStyle             Theorem*
  70         LatexName             cor*
  71         LabelString           "Corollary."
  72         Preamble
  73           \theoremstyle{plain}
  74           \newtheorem*{cor*}{\protect\corollaryname}
  75         EndPreamble
  76         LangPreamble
  77           \providecommand{\corollaryname}{_(Corollary)}
  78         EndLangPreamble
  79         BabelPreamble
  80           \addto\captions$$lang{\renewcommand{\corollaryname}{_(Corollary)}}
  81         EndBabelPreamble
  82 End
  83
  84
  85 Style Lemma*
  86         CopyStyle             Theorem*
  87         LatexName             lem*
  88         LabelString           "Lemma."
  89         Preamble
  90           \theoremstyle{plain}
  91           \newtheorem*{lem*}{\protect\lemmaname}
  92         EndPreamble
  93         LangPreamble
  94           \providecommand{\lemmaname}{_(Lemma)}
  95         EndLangPreamble
  96         BabelPreamble
  97           \addto\captions$$lang{\renewcommand{\lemmaname}{_(Lemma)}}
  98         EndBabelPreamble
  99 End
 100
 101
 102 Style Proposition*
 103         CopyStyle             Theorem*
 104         LatexName             prop*
 105         LabelString           "Proposition."
 106         Preamble
 107           \theoremstyle{plain}
 108           \newtheorem*{prop*}{\protect\propositionname}
 109         EndPreamble
 110         LangPreamble
 111           \providecommand{\propositionname}{_(Proposition)}
 112         EndLangPreamble
 113         BabelPreamble
 114           \addto\captions$$lang{\renewcommand{\propositionname}{_(Proposition)}}
 115         EndBabelPreamble
 116 End
 117
 118
 119 Style Conjecture*
 120         CopyStyle             Theorem*
 121         LatexName             conjecture*
 122         LabelString           "Conjecture."
 123         Preamble
 124           \theoremstyle{plain}
 125           \newtheorem*{conjecture*}{\protect\conjecturename}
 126         EndPreamble
 127         LangPreamble
 128           \providecommand{\conjecturename}{_(Conjecture)}
 129         EndLangPreamble
 130         BabelPreamble
 131           \addto\captions$$lang{\renewcommand{\conjecturename}{_(Conjecture)}}
 132         EndBabelPreamble
 133 End
 134
 135
 136 Style Fact*
 137         CopyStyle             Theorem*
 138         LatexName             fact*
 139         LabelString           "Fact."
 140         Preamble
 141           \theoremstyle{plain}
 142           \newtheorem*{fact*}{\protect\factname}
 143         EndPreamble
 144         LangPreamble
 145           \providecommand{\factname}{_(Fact)}
 146         EndLangPreamble
 147         BabelPreamble
 148           \addto\captions$$lang{\renewcommand{\factname}{_(Fact)}}
 149         EndBabelPreamble
 150 End
 151
 152
 153 Style Definition*
 154         CopyStyle             Theorem*
 155         LatexName             defn*
 156 #LabelType             Static
 157         LabelString           "Definition."
 158         Font
 159           Shape               Up
 160         EndFont
 161         LabelFont
 162           Shape               Up
 163           Series              Bold
 164         EndFont
 165         Preamble
 166          \theoremstyle{definition}
 167          \newtheorem*{defn*}{\protect\definitionname}
 168         EndPreamble
 169         LangPreamble
 170           \providecommand{\definitionname}{_(Definition)}
 171         EndLangPreamble
 172         BabelPreamble
 173           \addto\captions$$lang{\renewcommand{\definitionname}{_(Definition)}}
 174         EndBabelPreamble
 175 End
 176
 177
 178 Style Example*
 179         CopyStyle             Definition*
 180         LatexName             example*
 181         LabelString           "Example."
 182         Preamble
 183           \theoremstyle{definition}
 184           \newtheorem*{example*}{\protect\examplename}
 185         EndPreamble
 186         LangPreamble
 187           \providecommand{\examplename}{_(Example)}
 188         EndLangPreamble
 189         BabelPreamble
 190           \addto\captions$$lang{\renewcommand{\examplename}{_(Example)}}
 191         EndBabelPreamble
 192 End
 193
 194
 195 Style Problem*
 196         CopyStyle             Definition*
 197         LatexName             problem*
 198         LabelString           "Problem."
 199         Preamble
 200           \theoremstyle{definition}
 201           \newtheorem*{problem*}{\protect\problemname}
 202         EndPreamble
 203         LangPreamble
 204           \providecommand{\problemname}{_(Problem)}
 205         EndLangPreamble
 206         BabelPreamble
 207           \addto\captions$$lang{\renewcommand{\problemname}{_(Problem)}}
 208         EndBabelPreamble
 209 End
 210
 211
 212 Style Exercise*
 213         CopyStyle             Definition*
 214         LatexName             xca*
 215         LabelString           "Exercise."
 216         Preamble
 217           \theoremstyle{definition}
 218           \newtheorem*{xca*}{\protect\exercisename}
 219         EndPreamble
 220         LangPreamble
 221           \providecommand{\exercisename}{_(Exercise)}
 222         EndLangPreamble
 223         BabelPreamble
 224           \addto\captions$$lang{\renewcommand{\exercisename}{_(Exercise)}}
 225         EndBabelPreamble
 226 End
 227
 228
 229 Style Solution*
 230         CopyStyle             Definition*
 231         LatexName             sol*
 232         LabelString           "Solution."
 233         Preamble
 234           \theoremstyle{definition}
 235           \newtheorem*{sol*}{\protect\solutionname}
 236         EndPreamble
 237         LangPreamble
 238           \providecommand{\solutionname}{_(Solution)}
 239         EndLangPreamble
 240         BabelPreamble
 241           \addto\captions$$lang{\renewcommand{\solutionname}{_(Solution)}}
 242         EndBabelPreamble
 243 End
 244
 245
 246 Style Remark*
 247         CopyStyle             Theorem*
 248         LatexName             rem*
 249         LabelString           "Remark."
 250         Font
 251           Shape               Up
 252           Size                Normal
 253         EndFont
 254         LabelFont
 255           Series              Medium
 256           Shape               Italic
 257         EndFont
 258         Preamble
 259           \theoremstyle{remark}
 260           \newtheorem*{rem*}{\protect\remarkname}
 261         EndPreamble
 262         LangPreamble
 263           \providecommand{\remarkname}{_(Remark)}
 264         EndLangPreamble
 265         BabelPreamble
 266           \addto\captions$$lang{\renewcommand{\remarkname}{_(Remark)}}
 267         EndBabelPreamble
 268 End
 269
 270
 271 Style Claim*
 272         CopyStyle             Remark*
 273         LatexName             claim*
 274         LabelString           "Claim."
 275         Preamble
 276           \theoremstyle{remark}
 277           \newtheorem*{claim*}{\protect\claimname}
 278         EndPreamble
 279         LangPreamble
 280           \providecommand{\claimname}{_(Claim)}
 281         EndLangPreamble
 282         BabelPreamble
 283           \addto\captions$$lang{\renewcommand{\claimname}{_(Claim)}}
 284         EndBabelPreamble
 285 End
 286