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