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