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 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 # - Proof
  23 # - Case (by inclusion)
  24
  25 Format 96
  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         DocBookTag            para
  70         DocBookAttr           role='theorem'
  71 End
  72
  73
  74 Style Corollary
  75         CopyStyle             Theorem
  76         LatexName             cor
  77         LabelString           "Corollary \thecorollary."
  78         Preamble
  79           \theoremstyle{plain}
  80           \newtheorem{cor}{\protect\corollaryname}
  81         EndPreamble
  82         LangPreamble
  83                 \providecommand{\corollaryname}{_(Corollary)}
  84         EndLangPreamble
  85         BabelPreamble
  86                 \addto\captions$$lang{\renewcommand{\corollaryname}{_(Corollary)}}
  87         EndBabelPreamble
  88         LabelCounter          corollary
  89         DocBookTag            para
  90         DocBookAttr           role='corollary'
  91 End
  92
  93
  94 Style Lemma
  95         CopyStyle             Theorem
  96         LatexName             lem
  97         LabelString           "Lemma \thelemma."
  98         Preamble
  99           \theoremstyle{plain}
 100           \newtheorem{lem}{\protect\lemmaname}
 101         EndPreamble
 102         LangPreamble
 103                 \providecommand{\lemmaname}{_(Lemma)}
 104         EndLangPreamble
 105         BabelPreamble
 106                 \addto\captions$$lang{\renewcommand{\lemmaname}{_(Lemma)}}
 107         EndBabelPreamble
 108         LabelCounter          lemma
 109         DocBookTag            para
 110         DocBookAttr           role='lemma'
 111 End
 112
 113
 114 Style Proposition
 115         CopyStyle             Theorem
 116         LatexName             prop
 117         LabelString           "Proposition \theproposition."
 118         Preamble
 119           \theoremstyle{plain}
 120           \newtheorem{prop}{\protect\propositionname}
 121         EndPreamble
 122         LangPreamble
 123                 \providecommand{\propositionname}{_(Proposition)}
 124         EndLangPreamble
 125         BabelPreamble
 126                 \addto\captions$$lang{\renewcommand{\propositionname}{_(Proposition)}}
 127         EndBabelPreamble
 128         LabelCounter          proposition
 129         DocBookTag            para
 130         DocBookAttr           role='proposition'
 131 End
 132
 133
 134 Style Conjecture
 135         CopyStyle             Theorem
 136         LatexName             conjecture
 137         LabelString           "Conjecture \theconjecture."
 138         Preamble
 139           \theoremstyle{plain}
 140           \newtheorem{conjecture}{\protect\conjecturename}
 141         EndPreamble
 142         LangPreamble
 143                 \providecommand{\conjecturename}{_(Conjecture)}
 144         EndLangPreamble
 145         BabelPreamble
 146                 \addto\captions$$lang{\renewcommand{\conjecturename}{_(Conjecture)}}
 147         EndBabelPreamble
 148         LabelCounter          conjecture
 149         DocBookTag            para
 150         DocBookAttr           role='conjecture'
 151 End
 152
 153
 154 Style Fact
 155         CopyStyle             Theorem
 156         LatexName             fact
 157         LabelString           "Fact \thefact."
 158         Preamble
 159           \theoremstyle{plain}
 160           \newtheorem{fact}{\protect\factname}
 161         EndPreamble
 162         LangPreamble
 163                 \providecommand{\factname}{_(Fact)}
 164         EndLangPreamble
 165         BabelPreamble
 166                 \addto\captions$$lang{\renewcommand{\factname}{_(Fact)}}
 167         EndBabelPreamble
 168         LabelCounter          fact
 169         DocBookTag            para
 170         DocBookAttr           role='fact'
 171 End
 172
 173
 174 Style Definition
 175         CopyStyle             Theorem
 176         LatexName             defn
 177         LabelString           "Definition \thedefinition."
 178         Font
 179           Shape               Up
 180         EndFont
 181         LabelFont
 182           Shape               Up
 183           Series              Bold
 184         EndFont
 185         Preamble
 186           \theoremstyle{definition}
 187           \newtheorem{defn}{\protect\definitionname}
 188         EndPreamble
 189         LangPreamble
 190                 \providecommand{\definitionname}{_(Definition)}
 191         EndLangPreamble
 192         BabelPreamble
 193                 \addto\captions$$lang{\renewcommand{\definitionname}{_(Definition)}}
 194         EndBabelPreamble
 195         LabelCounter          definition
 196         DocBookTag            para
 197         DocBookAttr           role='definition'
 198 End
 199
 200
 201 Style Example
 202         CopyStyle             Definition
 203         LatexName             example
 204         LabelString           "Example \theexample."
 205         Preamble
 206           \theoremstyle{definition}
 207           \newtheorem{example}{\protect\examplename}
 208         EndPreamble
 209         Requires              amsthm
 210         LangPreamble
 211                 \providecommand{\examplename}{_(Example)}
 212         EndLangPreamble
 213         BabelPreamble
 214                 \addto\captions$$lang{\renewcommand{\examplename}{_(Example)}}
 215         EndBabelPreamble
 216         LabelCounter          example
 217         DocBookWrapperTag     informalexample
 218         DocBookTag            para
 219         DocBookAttr        ""
 220 End
 221
 222
 223 Style Problem
 224         CopyStyle             Definition
 225         LatexName             problem
 226         LabelString           "Problem \theproblem."
 227         Preamble
 228           \theoremstyle{definition}
 229           \newtheorem{problem}{\protect\problemname}
 230         EndPreamble
 231         Requires              amsthm
 232         LangPreamble
 233                 \providecommand{\problemname}{_(Problem)}
 234         EndLangPreamble
 235         BabelPreamble
 236                 \addto\captions$$lang{\renewcommand{\problemname}{_(Problem)}}
 237         EndBabelPreamble
 238         LabelCounter          problem
 239         DocBookTag            para
 240         DocBookAttr           role='problem'
 241 End
 242
 243
 244 Style Exercise
 245         CopyStyle             Definition
 246         LatexName             xca
 247         LabelString           "Exercise \theexercise."
 248         Preamble
 249           \theoremstyle{definition}
 250           \newtheorem{xca}{\protect\exercisename}
 251         EndPreamble
 252         Requires              amsthm
 253         LangPreamble
 254                 \providecommand{\exercisename}{_(Exercise)}
 255         EndLangPreamble
 256         BabelPreamble
 257                 \addto\captions$$lang{\renewcommand{\exercisename}{_(Exercise)}}
 258         EndBabelPreamble
 259         LabelCounter          exercise
 260         DocBookTag            para
 261         DocBookAttr           role='exercise'
 262 End
 263
 264
 265 Style Solution
 266         CopyStyle             Definition
 267         LatexName             sol
 268         LabelString           "Solution \thesolution."
 269         Preamble
 270           \theoremstyle{definition}
 271           \newtheorem{sol}{\protect\solutionname}
 272         EndPreamble
 273         Requires              amsthm
 274         LangPreamble
 275                 \providecommand{\solutionname}{_(Solution)}
 276         EndLangPreamble
 277         BabelPreamble
 278                 \addto\captions$$lang{\renewcommand{\solutionname}{_(Solution)}}
 279         EndBabelPreamble
 280         LabelCounter          solution
 281         DocBookTag            para
 282         DocBookAttr           role='solution'
 283 End
 284
 285
 286 Style Remark
 287         CopyStyle             Theorem
 288         LatexName             rem
 289         LabelString           "Remark \theremark."
 290         Font
 291           Shape               Up
 292           Size                Normal
 293         EndFont
 294         LabelFont
 295           Series              Medium
 296           Shape               Italic
 297         EndFont
 298         Preamble
 299           \theoremstyle{remark}
 300           \newtheorem{rem}{\protect\remarkname}
 301         EndPreamble
 302         LangPreamble
 303                 \providecommand{\remarkname}{_(Remark)}
 304         EndLangPreamble
 305         BabelPreamble
 306                 \addto\captions$$lang{\renewcommand{\remarkname}{_(Remark)}}
 307         EndBabelPreamble
 308         LabelCounter          remark
 309         DocBookTag            note
 310         DocBookItemTag        para
 311 End
 312
 313
 314 Style Claim
 315         CopyStyle             Remark
 316         LatexName             claim
 317         LabelString           "Claim \theclaim."
 318         Preamble
 319           \theoremstyle{remark}
 320           \newtheorem{claim}{\protect\claimname}
 321         EndPreamble
 322         Requires              amsthm
 323         LangPreamble
 324                 \providecommand{\claimname}{_(Claim)}
 325         EndLangPreamble
 326         BabelPreamble
 327                 \addto\captions$$lang{\renewcommand{\claimname}{_(Claim)}}
 328         EndBabelPreamble
 329         LabelCounter          claim
 330         DocBookTag            para
 331         DocBookAttr           role='claim'
 332         DocBookItemTag        ""
 333 End
 334
 335 Input theorems-case.inc
 336 Input theorems-refprefix.inc