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 # - Remark
  18 # - Claim
  19 # - Proof
  20
  21 Format 49
  22
  23 Style Theorem*
  24         Category              Reasoning
  25         LatexType             Environment
  26         Margin                First_Dynamic
  27         LatexName             thm*
  28         LabelType             Static
  29         LabelString           "Theorem."
  30         NextNoIndent          1
  31         ResetArgs             1
  32         Argument 1
  33                 LabelString    "Additional Theorem Text"
  34                 Tooltip        "Additional text appended to the theorem header"
  35         EndArgument
  36         LabelSep              xx
  37         ParIndent             MMM
  38         ParSkip               0.4
  39         ItemSep               0.2
  40         TopSep                0.7
  41         BottomSep             0.7
  42         ParSep                0.3
  43         Align                 Block
  44         AlignPossible         Left
  45         Font
  46           Shape               Italic
  47           Size                Normal
  48         EndFont
  49         LabelFont
  50           Shape               Up
  51           Series              Bold
  52         EndFont
  53         Preamble
  54           \theoremstyle{plain}
  55           \newtheorem*{thm*}{\protect\theoremname}
  56         EndPreamble
  57         LangPreamble
  58           \providecommand{\theoremname}{_(Theorem)}
  59         EndLangPreamble
  60         BabelPreamble
  61           \addto\captions$$lang{\renewcommand{\theoremname}{_(Theorem)}}
  62         EndBabelPreamble
  63         Requires              amsthm
  64 End
  65
  66
  67 Style Corollary*
  68         CopyStyle             Theorem*
  69         LatexName             cor*
  70         LabelString           "Corollary."
  71         Preamble
  72           \theoremstyle{plain}
  73           \newtheorem*{cor*}{\protect\corollaryname}
  74         EndPreamble
  75         LangPreamble
  76           \providecommand{\corollaryname}{_(Corollary)}
  77         EndLangPreamble
  78         BabelPreamble
  79           \addto\captions$$lang{\renewcommand{\corollaryname}{_(Corollary)}}
  80         EndBabelPreamble
  81 End
  82
  83
  84 Style Lemma*
  85         CopyStyle             Theorem*
  86         LatexName             lem*
  87         LabelString           "Lemma."
  88         Preamble
  89           \theoremstyle{plain}
  90           \newtheorem*{lem*}{\protect\lemmaname}
  91         EndPreamble
  92         LangPreamble
  93           \providecommand{\lemmaname}{_(Lemma)}
  94         EndLangPreamble
  95         BabelPreamble
  96           \addto\captions$$lang{\renewcommand{\lemmaname}{_(Lemma)}}
  97         EndBabelPreamble
  98 End
  99
 100
 101 Style Proposition*
 102         CopyStyle             Theorem*
 103         LatexName             prop*
 104         LabelString           "Proposition."
 105         Preamble
 106           \theoremstyle{plain}
 107           \newtheorem*{prop*}{\protect\propositionname}
 108         EndPreamble
 109         LangPreamble
 110           \providecommand{\propositionname}{_(Proposition)}
 111         EndLangPreamble
 112         BabelPreamble
 113           \addto\captions$$lang{\renewcommand{\propositionname}{_(Proposition)}}
 114         EndBabelPreamble
 115 End
 116
 117
 118 Style Conjecture*
 119         CopyStyle             Theorem*
 120         LatexName             conjecture*
 121         LabelString           "Conjecture."
 122         Preamble
 123           \theoremstyle{plain}
 124           \newtheorem*{conjecture*}{\protect\conjecturename}
 125         EndPreamble
 126         LangPreamble
 127           \providecommand{\conjecturename}{_(Conjecture)}
 128         EndLangPreamble
 129         BabelPreamble
 130           \addto\captions$$lang{\renewcommand{\conjecturename}{_(Conjecture)}}
 131         EndBabelPreamble
 132 End
 133
 134
 135 Style Fact*
 136         CopyStyle             Theorem*
 137         LatexName             fact*
 138         LabelString           "Fact."
 139         Preamble
 140           \theoremstyle{plain}
 141           \newtheorem*{fact*}{\protect\factname}
 142         EndPreamble
 143         LangPreamble
 144           \providecommand{\factname}{_(Fact)}
 145         EndLangPreamble
 146         BabelPreamble
 147           \addto\captions$$lang{\renewcommand{\factname}{_(Fact)}}
 148         EndBabelPreamble
 149 End
 150
 151
 152 Style Definition*
 153         CopyStyle             Theorem*
 154         LatexName             defn*
 155 #LabelType             Static
 156         LabelString           "Definition."
 157         Font
 158           Shape               Up
 159         EndFont
 160         LabelFont
 161           Shape               Up
 162           Series              Bold
 163         EndFont
 164         Preamble
 165          \theoremstyle{definition}
 166          \newtheorem*{defn*}{\protect\definitionname}
 167         EndPreamble
 168         LangPreamble
 169           \providecommand{\definitionname}{_(Definition)}
 170         EndLangPreamble
 171         BabelPreamble
 172           \addto\captions$$lang{\renewcommand{\definitionname}{_(Definition)}}
 173         EndBabelPreamble
 174 End
 175
 176
 177 Style Example*
 178         CopyStyle             Definition*
 179         LatexName             example*
 180         LabelString           "Example."
 181         Preamble
 182           \theoremstyle{definition}
 183           \newtheorem*{example*}{\protect\examplename}
 184         EndPreamble
 185         LangPreamble
 186           \providecommand{\examplename}{_(Example)}
 187         EndLangPreamble
 188         BabelPreamble
 189           \addto\captions$$lang{\renewcommand{\examplename}{_(Example)}}
 190         EndBabelPreamble
 191 End
 192
 193
 194 Style Problem*
 195         CopyStyle             Definition*
 196         LatexName             problem*
 197         LabelString           "Problem."
 198         Preamble
 199           \theoremstyle{definition}
 200           \newtheorem*{problem*}{\protect\problemname}
 201         EndPreamble
 202         LangPreamble
 203           \providecommand{\problemname}{_(Problem)}
 204         EndLangPreamble
 205         BabelPreamble
 206           \addto\captions$$lang{\renewcommand{\problemname}{_(Problem)}}
 207         EndBabelPreamble
 208 End
 209
 210
 211 Style Exercise*
 212         CopyStyle             Definition*
 213         LatexName             xca*
 214         LabelString           "Exercise."
 215         Preamble
 216           \theoremstyle{definition}
 217           \newtheorem*{xca*}{\protect\exercisename}
 218         EndPreamble
 219         LangPreamble
 220           \providecommand{\exercisename}{_(Exercise)}
 221         EndLangPreamble
 222         BabelPreamble
 223           \addto\captions$$lang{\renewcommand{\exercisename}{_(Exercise)}}
 224         EndBabelPreamble
 225 End
 226
 227
 228 Style Remark*
 229         CopyStyle             Theorem*
 230         LatexName             rem*
 231         LabelString           "Remark."
 232         Font
 233           Shape               Up
 234           Size                Normal
 235         EndFont
 236         LabelFont
 237           Series              Medium
 238           Shape               Italic
 239         EndFont
 240         Preamble
 241           \theoremstyle{remark}
 242           \newtheorem*{rem*}{\protect\remarkname}
 243         EndPreamble
 244         LangPreamble
 245           \providecommand{\remarkname}{_(Remark)}
 246         EndLangPreamble
 247         BabelPreamble
 248           \addto\captions$$lang{\renewcommand{\remarkname}{_(Remark)}}
 249         EndBabelPreamble
 250 End
 251
 252
 253 Style Claim*
 254         CopyStyle             Remark*
 255         LatexName             claim*
 256         LabelString           "Claim."
 257         Preamble
 258           \theoremstyle{remark}
 259           \newtheorem*{claim*}{\protect\claimname}
 260         EndPreamble
 261         LangPreamble
 262           \providecommand{\claimname}{_(Claim)}
 263         EndLangPreamble
 264         BabelPreamble
 265           \addto\captions$$lang{\renewcommand{\claimname}{_(Claim)}}
 266         EndBabelPreamble
 267 End
 268