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