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