lib/layouts/theorems.inc

   1 # Author: Richard Heck <rgheck@comcast.net>
   2 # Adapted from amsmaths.inc
   3
   4 # The environnements defined are :
   5 # - Theorem
   6 # - Corollary
   7 # - Lemma
   8 # - Proposition
   9 # - Conjecture
  10 # - Definition
  11 # - Example
  12 # - Exercise
  13 # - Remark
  14 # - Note
  15 # - Claim
  16 # - Case
  17 # - Conclusion
  18 # - Fact
  19
  20 Style Theorem
  21         Margin                First_Dynamic
  22         LatexType             Environment
  23         LatexName             thm
  24         NextNoIndent          1
  25         LabelSep              xx
  26         ParIndent             MMM
  27         ParSkip               0.4
  28         ItemSep               0.2
  29         TopSep                0.7
  30         BottomSep             0.7
  31         ParSep                0.3
  32         Align                 Block
  33         AlignPossible         Block, Left
  34         LabelType             Counter
  35         LabelCounter          theorem
  36         LabelString           "Theorem \arabic{theorem}."
  37         Font
  38           Shape               Italic
  39           Size                Normal
  40         EndFont
  41         LabelFont
  42           Shape               Up
  43           Series              Bold
  44         EndFont
  45         Preamble
  46                 \newtheorem{thm}{Theorem}
  47         EndPreamble
  48 End
  49
  50 Style Corollary
  51         CopyStyle             Theorem
  52         LatexName             cor
  53         LabelString           "Corollary \thetheorem."
  54         Preamble
  55           \newtheorem{cor}[thm]{Corollary}
  56         EndPreamble
  57 End
  58
  59 Style Lemma
  60         CopyStyle             Theorem
  61         LatexName             lem
  62         LabelString           "Lemma \thetheorem."
  63         Preamble
  64           \newtheorem{lem}[thm]{Lemma}
  65         EndPreamble
  66 End
  67
  68 Style Proposition
  69         CopyStyle             Theorem
  70         LatexName             prop
  71         LabelString           "Proposition \thetheorem."
  72         Preamble
  73           \newtheorem{prop}[thm]{Proposition}
  74         EndPreamble
  75 End
  76
  77 Style Conjecture
  78         CopyStyle             Theorem
  79         LatexName             conjecture
  80         LabelString           "Conjecture \thetheorem."
  81         Preamble
  82           \newtheorem{conjecture}[thm]{Conjecture}
  83         EndPreamble
  84 End
  85
  86 Style Fact
  87         CopyStyle             Theorem
  88         LatexName             fact
  89         LabelString           "Fact \thetheorem."
  90         Preamble
  91           \newtheorem{fact}[thm]{Fact}
  92         EndPreamble
  93 End
  94
  95 Style Definition
  96         CopyStyle             Theorem
  97         LatexName             defn
  98         LabelString           "Definition \thetheorem."
  99         Font
 100           Shape               Up
 101         EndFont
 102         LabelFont
 103           Shape               Up
 104           Series              Bold
 105         EndFont
 106         Preamble
 107           \newtheorem{defn}[thm]{Definition}
 108         EndPreamble
 109 End
 110
 111
 112 Style Example
 113         CopyStyle             Definition
 114         LatexName             example
 115         LabelString           "Example \thetheorem."
 116         Preamble
 117           \newtheorem{example}[thm]{Example}
 118         EndPreamble
 119 End
 120
 121
 122 Style Exercise
 123         CopyStyle             Definition
 124         LatexName             xca
 125         LabelString           "Exercise \thetheorem."
 126         Preamble
 127           \newtheorem{xca}{Exercise}
 128         EndPreamble
 129 End
 130
 131
 132 Style Remark
 133         CopyStyle             Theorem
 134         LatexName             rem
 135         LabelString           "Remark \thetheorem."
 136         Font
 137           Shape               Up
 138           Size                Normal
 139         EndFont
 140         LabelFont
 141           Series              Medium
 142           Shape               Italic
 143         EndFont
 144         Preamble
 145           \newtheorem{rem}[thm]{Remark}
 146         EndPreamble
 147 End
 148
 149
 150 Style Claim
 151         CopyStyle             Remark
 152         LatexName             claim
 153         LabelString           "Claim \thetheorem."
 154         Preamble
 155           \newtheorem{claim}[thm]{Claim}
 156         EndPreamble
 157 End
 158
 159 Style Case
 160         CopyStyle             Remark
 161         LatexName             case
 162         LabelString           "Case \thetheorem."
 163         Preamble
 164           \newtheorem{case}[thm]{Case}
 165         EndPreamble
 166 End
 167
 168
 169 Style Conclusion
 170         CopyStyle             Remark
 171         LatexName             conclusion
 172         LabelString           "Conclusion \thetheorem."
 173         Preamble
 174           \newtheorem{conclusion}[thm]{Conclusion}
 175         EndPreamble
 176 End