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