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