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 Heck <rgheck@comcast.net>
   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 68
  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 End
  71
  72
  73 Style Corollary*
  74         CopyStyle             Theorem*
  75         LatexName             cor*
  76         LabelString           "Corollary."
  77         Preamble
  78           \theoremstyle{plain}
  79           \newtheorem*{cor*}{\protect\corollaryname}
  80         EndPreamble
  81         LangPreamble
  82           \providecommand{\corollaryname}{_(Corollary)}
  83         EndLangPreamble
  84         BabelPreamble
  85           \addto\captions$$lang{\renewcommand{\corollaryname}{_(Corollary)}}
  86         EndBabelPreamble
  87 End
  88
  89
  90 Style Lemma*
  91         CopyStyle             Theorem*
  92         LatexName             lem*
  93         LabelString           "Lemma."
  94         Preamble
  95           \theoremstyle{plain}
  96           \newtheorem*{lem*}{\protect\lemmaname}
  97         EndPreamble
  98         LangPreamble
  99           \providecommand{\lemmaname}{_(Lemma)}
 100         EndLangPreamble
 101         BabelPreamble
 102           \addto\captions$$lang{\renewcommand{\lemmaname}{_(Lemma)}}
 103         EndBabelPreamble
 104 End
 105
 106
 107 Style Proposition*
 108         CopyStyle             Theorem*
 109         LatexName             prop*
 110         LabelString           "Proposition."
 111         Preamble
 112           \theoremstyle{plain}
 113           \newtheorem*{prop*}{\protect\propositionname}
 114         EndPreamble
 115         LangPreamble
 116           \providecommand{\propositionname}{_(Proposition)}
 117         EndLangPreamble
 118         BabelPreamble
 119           \addto\captions$$lang{\renewcommand{\propositionname}{_(Proposition)}}
 120         EndBabelPreamble
 121 End
 122
 123
 124 Style Conjecture*
 125         CopyStyle             Theorem*
 126         LatexName             conjecture*
 127         LabelString           "Conjecture."
 128         Preamble
 129           \theoremstyle{plain}
 130           \newtheorem*{conjecture*}{\protect\conjecturename}
 131         EndPreamble
 132         LangPreamble
 133           \providecommand{\conjecturename}{_(Conjecture)}
 134         EndLangPreamble
 135         BabelPreamble
 136           \addto\captions$$lang{\renewcommand{\conjecturename}{_(Conjecture)}}
 137         EndBabelPreamble
 138 End
 139
 140
 141 Style Fact*
 142         CopyStyle             Theorem*
 143         LatexName             fact*
 144         LabelString           "Fact."
 145         Preamble
 146           \theoremstyle{plain}
 147           \newtheorem*{fact*}{\protect\factname}
 148         EndPreamble
 149         LangPreamble
 150           \providecommand{\factname}{_(Fact)}
 151         EndLangPreamble
 152         BabelPreamble
 153           \addto\captions$$lang{\renewcommand{\factname}{_(Fact)}}
 154         EndBabelPreamble
 155 End
 156
 157
 158 Style Definition*
 159         CopyStyle             Theorem*
 160         LatexName             defn*
 161 #LabelType             Static
 162         LabelString           "Definition."
 163         Font
 164           Shape               Up
 165         EndFont
 166         LabelFont
 167           Shape               Up
 168           Series              Bold
 169         EndFont
 170         Preamble
 171          \theoremstyle{definition}
 172          \newtheorem*{defn*}{\protect\definitionname}
 173         EndPreamble
 174         LangPreamble
 175           \providecommand{\definitionname}{_(Definition)}
 176         EndLangPreamble
 177         BabelPreamble
 178           \addto\captions$$lang{\renewcommand{\definitionname}{_(Definition)}}
 179         EndBabelPreamble
 180 End
 181
 182
 183 Style Example*
 184         CopyStyle             Definition*
 185         LatexName             example*
 186         LabelString           "Example."
 187         Preamble
 188           \theoremstyle{definition}
 189           \newtheorem*{example*}{\protect\examplename}
 190         EndPreamble
 191         LangPreamble
 192           \providecommand{\examplename}{_(Example)}
 193         EndLangPreamble
 194         BabelPreamble
 195           \addto\captions$$lang{\renewcommand{\examplename}{_(Example)}}
 196         EndBabelPreamble
 197 End
 198
 199
 200 Style Problem*
 201         CopyStyle             Definition*
 202         LatexName             problem*
 203         LabelString           "Problem."
 204         Preamble
 205           \theoremstyle{definition}
 206           \newtheorem*{problem*}{\protect\problemname}
 207         EndPreamble
 208         LangPreamble
 209           \providecommand{\problemname}{_(Problem)}
 210         EndLangPreamble
 211         BabelPreamble
 212           \addto\captions$$lang{\renewcommand{\problemname}{_(Problem)}}
 213         EndBabelPreamble
 214 End
 215
 216
 217 Style Exercise*
 218         CopyStyle             Definition*
 219         LatexName             xca*
 220         LabelString           "Exercise."
 221         Preamble
 222           \theoremstyle{definition}
 223           \newtheorem*{xca*}{\protect\exercisename}
 224         EndPreamble
 225         LangPreamble
 226           \providecommand{\exercisename}{_(Exercise)}
 227         EndLangPreamble
 228         BabelPreamble
 229           \addto\captions$$lang{\renewcommand{\exercisename}{_(Exercise)}}
 230         EndBabelPreamble
 231 End
 232
 233
 234 Style Solution*
 235         CopyStyle             Definition*
 236         LatexName             sol*
 237         LabelString           "Solution."
 238         Preamble
 239           \theoremstyle{definition}
 240           \newtheorem*{sol*}{\protect\solutionname}
 241         EndPreamble
 242         LangPreamble
 243           \providecommand{\solutionname}{_(Solution)}
 244         EndLangPreamble
 245         BabelPreamble
 246           \addto\captions$$lang{\renewcommand{\solutionname}{_(Solution)}}
 247         EndBabelPreamble
 248 End
 249
 250
 251 Style Remark*
 252         CopyStyle             Theorem*
 253         LatexName             rem*
 254         LabelString           "Remark."
 255         Font
 256           Shape               Up
 257           Size                Normal
 258         EndFont
 259         LabelFont
 260           Series              Medium
 261           Shape               Italic
 262         EndFont
 263         Preamble
 264           \theoremstyle{remark}
 265           \newtheorem*{rem*}{\protect\remarkname}
 266         EndPreamble
 267         LangPreamble
 268           \providecommand{\remarkname}{_(Remark)}
 269         EndLangPreamble
 270         BabelPreamble
 271           \addto\captions$$lang{\renewcommand{\remarkname}{_(Remark)}}
 272         EndBabelPreamble
 273 End
 274
 275
 276 Style Claim*
 277         CopyStyle             Remark*
 278         LatexName             claim*
 279         LabelString           "Claim."
 280         Preamble
 281           \theoremstyle{remark}
 282           \newtheorem*{claim*}{\protect\claimname}
 283         EndPreamble
 284         LangPreamble
 285           \providecommand{\claimname}{_(Claim)}
 286         EndLangPreamble
 287         BabelPreamble
 288           \addto\captions$$lang{\renewcommand{\claimname}{_(Claim)}}
 289         EndBabelPreamble
 290 End
 291