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