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