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