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 # We need separate counters for each theorem-like style.
  25 Format 89
  26 Counter theorem
  27         GuiName Theorem
  28         LaTeXName thm
  29 End
  30 Counter corollary
  31         GuiName Corollary
  32         LaTeXName cor
  33 End
  34 Counter lemma
  35         GuiName Lemma
  36         LaTeXName lem
  37 End
  38 Counter proposition
  39         GuiName Proposition
  40         LaTeXName prop
  41 End
  42 Counter conjecture
  43         GuiName Conjecture
  44 End
  45 Counter fact
  46         GuiName Fact
  47 End
  48 Counter definition
  49         GuiName Definition
  50         LaTeXName defn
  51 End
  52 Counter example
  53         GuiName Example
  54 End
  55 Counter problem
  56         GuiName Problem
  57 End
  58 Counter exercise
  59         GuiName Exercise
  60         LaTeXName xca
  61 End
  62 Counter solution
  63         GuiName Solution
  64         LaTeXName sol
  65 End
  66 Counter remark
  67         GuiName Remark
  68         LaTeXName rem
  69 End
  70 Counter claim
  71         GuiName Claim
  72 End
  73
  74 OutlinerName thm "Definitions & Theorems"
  75
  76 Style Theorem
  77         Category              Reasoning
  78         Margin                First_Dynamic
  79         LatexType             Environment
  80         LatexName             thm
  81         NextNoIndent          1
  82         ResetArgs             1
  83         AddToToc              thm
  84         IsTocCaption          1
  85         Argument 1
  86                 LabelString    "Additional Theorem Text"
  87                 Tooltip        "Additional text appended to the theorem header"
  88                 IsTocCaption      1
  89         EndArgument
  90         LabelSep              xx
  91         ParIndent             MMM
  92         ParSkip               0.4
  93         ItemSep               0.2
  94         TopSep                0.7
  95         BottomSep             0.7
  96         ParSep                0.3
  97         Align                 Block
  98         AlignPossible         Left
  99         LabelType             Static
 100         LabelCounter          theorem
 101         LabelString           "Theorem \thetheorem."
 102         Font
 103           Shape               Italic
 104           Size                Normal
 105         EndFont
 106         LabelFont
 107           Shape               Up
 108           Series              Bold
 109         EndFont
 110         Preamble
 111                 \theoremstyle{plain}
 112                 \newtheorem{thm}{\protect\theoremname}
 113         EndPreamble
 114         LangPreamble
 115                 \providecommand{\theoremname}{_(Theorem)}
 116         EndLangPreamble
 117         BabelPreamble
 118                 \addto\captions$$lang{\renewcommand{\theoremname}{_(Theorem)}}
 119         EndBabelPreamble
 120         Requires              amsthm
 121         DocBookTag            para
 122         DocBookAttr           role='theorem'
 123 End
 124
 125
 126 Style Corollary
 127         CopyStyle             Theorem
 128         LatexName             cor
 129         LabelString           "Corollary \thecorollary."
 130         Preamble
 131           \theoremstyle{plain}
 132           \newtheorem{cor}{\protect\corollaryname}
 133         EndPreamble
 134         LabelCounter          corollary
 135         LangPreamble
 136                 \providecommand{\corollaryname}{_(Corollary)}
 137         EndLangPreamble
 138         BabelPreamble
 139                 \addto\captions$$lang{\renewcommand{\corollaryname}{_(Corollary)}}
 140         EndBabelPreamble
 141         DocBookTag            para
 142         DocBookAttr           role='corollary'
 143 End
 144
 145
 146 Style Lemma
 147         CopyStyle             Theorem
 148         LatexName             lem
 149         LabelString           "Lemma \thelemma."
 150         Preamble
 151           \theoremstyle{plain}
 152           \newtheorem{lem}{\protect\lemmaname}
 153         EndPreamble
 154         LangPreamble
 155           \providecommand{\lemmaname}{_(Lemma)}
 156         EndLangPreamble
 157         BabelPreamble
 158           \addto\captions$$lang{\renewcommand{\lemmaname}{_(Lemma)}}
 159         EndBabelPreamble
 160         LabelCounter          lemma
 161         DocBookTag            para
 162         DocBookAttr           role='lemma'
 163 End
 164
 165
 166 Style Proposition
 167         CopyStyle             Theorem
 168         LatexName             prop
 169         LabelString           "Proposition \theproposition."
 170         Preamble
 171           \theoremstyle{plain}
 172           \newtheorem{prop}{\protect\propositionname}
 173         EndPreamble
 174         LangPreamble
 175           \providecommand{\propositionname}{_(Proposition)}
 176         EndLangPreamble
 177         BabelPreamble
 178           \addto\captions$$lang{\renewcommand{\propositionname}{_(Proposition)}}
 179         EndBabelPreamble
 180         LabelCounter          proposition
 181         DocBookTag            para
 182         DocBookAttr           role='proposition'
 183 End
 184
 185
 186 Style Conjecture
 187         CopyStyle             Theorem
 188         LatexName             conjecture
 189         LabelString           "Conjecture \theconjecture."
 190         Preamble
 191           \theoremstyle{plain}
 192           \newtheorem{conjecture}{\protect\conjecturename}
 193         EndPreamble
 194         LangPreamble
 195           \providecommand{\conjecturename}{_(Conjecture)}
 196         EndLangPreamble
 197         BabelPreamble
 198           \addto\captions$$lang{\renewcommand{\conjecturename}{_(Conjecture)}}
 199         EndBabelPreamble
 200         LabelCounter          conjecture
 201         DocBookTag            para
 202         DocBookAttr           role='conjecture'
 203 End
 204
 205
 206 Style Fact
 207         CopyStyle             Theorem
 208         LatexName             fact
 209         LabelString           "Fact \thefact."
 210         Preamble
 211           \theoremstyle{plain}
 212           \newtheorem{fact}{\protect\factname}
 213         EndPreamble
 214         LangPreamble
 215           \providecommand{\factname}{_(Fact)}
 216         EndLangPreamble
 217         BabelPreamble
 218           \addto\captions$$lang{\renewcommand{\factname}{_(Fact)}}
 219         EndBabelPreamble
 220         LabelCounter          fact
 221         DocBookTag            para
 222         DocBookAttr           role='fact'
 223 End
 224
 225
 226 Style Definition
 227         CopyStyle             Theorem
 228         LatexName             defn
 229         LabelString           "Definition \thedefinition."
 230         Font
 231           Shape               Up
 232         EndFont
 233         LabelFont
 234           Shape               Up
 235           Series              Bold
 236         EndFont
 237         Preamble
 238           \theoremstyle{definition}
 239           \newtheorem{defn}{\protect\definitionname}
 240         EndPreamble
 241         LangPreamble
 242           \providecommand{\definitionname}{_(Definition)}
 243         EndLangPreamble
 244         BabelPreamble
 245           \addto\captions$$lang{\renewcommand{\definitionname}{_(Definition)}}
 246         EndBabelPreamble
 247         LabelCounter          definition
 248         DocBookTag            para
 249         DocBookAttr           role='definition'
 250 End
 251
 252
 253 Style Example
 254         CopyStyle             Definition
 255         LatexName             example
 256         LabelString           "Example \theexample."
 257         Preamble
 258          \theoremstyle{definition}
 259           \newtheorem{example}{\protect\examplename}
 260         EndPreamble
 261         Requires              amsthm
 262         LangPreamble
 263           \providecommand{\examplename}{_(Example)}
 264         EndLangPreamble
 265         BabelPreamble
 266           \addto\captions$$lang{\renewcommand{\examplename}{_(Example)}}
 267         EndBabelPreamble
 268         LabelCounter          example
 269         DocBookWrapperTag     informalexample
 270         DocBookTag            para
 271         DocBookAttr        ""
 272 End
 273
 274
 275 Style Problem
 276         CopyStyle             Definition
 277         LatexName             problem
 278         LabelString           "Problem \theproblem."
 279         Preamble
 280           \theoremstyle{definition}
 281           \newtheorem{problem}{\protect\problemname}
 282         EndPreamble
 283         Requires              amsthm
 284         LangPreamble
 285           \providecommand{\problemname}{_(Problem)}
 286         EndLangPreamble
 287         BabelPreamble
 288           \addto\captions$$lang{\renewcommand{\problemname}{_(Problem)}}
 289         EndBabelPreamble
 290         LabelCounter          problem
 291         DocBookTag            para
 292         DocBookAttr           role='problem'
 293 End
 294
 295
 296 Style Exercise
 297         CopyStyle             Definition
 298         LatexName             xca
 299         LabelString           "Exercise \theexercise."
 300         Preamble
 301           \theoremstyle{definition}
 302           \newtheorem{xca}{\protect\exercisename}
 303         EndPreamble
 304         Requires              amsthm
 305         LangPreamble
 306           \providecommand{\exercisename}{_(Exercise)}
 307         EndLangPreamble
 308         BabelPreamble
 309           \addto\captions$$lang{\renewcommand{\exercisename}{_(Exercise)}}
 310         EndBabelPreamble
 311         LabelCounter          exercise
 312         DocBookTag            para
 313         DocBookAttr           role='exercise'
 314 End
 315
 316
 317 Style Solution
 318         CopyStyle             Definition
 319         LatexName             sol
 320         LabelString           "Solution \thesolution."
 321         Preamble
 322           \theoremstyle{definition}
 323           \newtheorem{sol}{\protect\solutionname}
 324         EndPreamble
 325         Requires              amsthm
 326         LangPreamble
 327                 \providecommand{\solutionname}{_(Solution)}
 328         EndLangPreamble
 329         BabelPreamble
 330                 \addto\captions$$lang{\renewcommand{\solutionname}{_(Solution)}}
 331         EndBabelPreamble
 332         LabelCounter          solution
 333         DocBookTag            para
 334         DocBookAttr           role='solution'
 335 End
 336
 337
 338 Style Remark
 339         CopyStyle             Theorem
 340         LatexName             rem
 341         LabelString           "Remark \theremark."
 342         Font
 343           Shape               Up
 344           Size                Normal
 345         EndFont
 346         LabelFont
 347           Series              Medium
 348           Shape               Italic
 349         EndFont
 350         Preamble
 351           \theoremstyle{remark}
 352           \newtheorem{rem}{\protect\remarkname}
 353         EndPreamble
 354         LangPreamble
 355           \providecommand{\remarkname}{_(Remark)}
 356         EndLangPreamble
 357         BabelPreamble
 358           \addto\captions$$lang{\renewcommand{\remarkname}{_(Remark)}}
 359         EndBabelPreamble
 360         LabelCounter          remark
 361         DocBookTag            note
 362         DocBookItemTag        para
 363 End
 364
 365
 366 Style Claim
 367         CopyStyle             Remark
 368         LatexName             claim
 369         LabelString           "Claim \theclaim."
 370         Preamble
 371           \theoremstyle{remark}
 372           \newtheorem{claim}{\protect\claimname}
 373         EndPreamble
 374         Requires              amsthm
 375         LangPreamble
 376           \providecommand{\claimname}{_(Claim)}
 377         EndLangPreamble
 378         BabelPreamble
 379           \addto\captions$$lang{\renewcommand{\claimname}{_(Claim)}}
 380         EndBabelPreamble
 381         LabelCounter          claim
 382         DocBookTag            para
 383         DocBookAttr           role='claim'
 384         DocBookItemTag        ""
 385 End
 386
 387 Input theorems-case.inc