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