lib/layouts/theorems-counters-bytype.inc

   1 # Theorem-like counters, separately for each type of theorem
   2
   3 Format 104
   4 Counter theorem
   5         GuiName Theorem
   6         LaTeXName thm
   7         PrettyFormat "Theorem \arabic{theorem}"
   8 End
   9 Counter corollary
  10         GuiName Corollary
  11         LaTeXName cor
  12         PrettyFormat "Corollary \arabic{theorem}"
  13 End
  14 Counter lemma
  15         GuiName Lemma
  16         LaTeXName lem
  17         PrettyFormat "Lemma \arabic{theorem}"
  18 End
  19 Counter proposition
  20         GuiName Proposition
  21         LaTeXName prop
  22         PrettyFormat "Proposition \arabic{theorem}"
  23 End
  24 Counter conjecture
  25         GuiName Conjecture
  26         PrettyFormat "Conjecture \arabic{theorem}"
  27 End
  28 Counter fact
  29         GuiName Fact
  30         PrettyFormat "Fact \arabic{theorem}"
  31 End
  32 Counter definition
  33         GuiName Definition
  34         LaTeXName defn
  35         PrettyFormat "Definition \arabic{theorem}"
  36 End
  37 Counter example
  38         GuiName Example
  39         PrettyFormat "Example \arabic{theorem}"
  40 End
  41 Counter problem
  42         GuiName Problem
  43         PrettyFormat "Problem \arabic{theorem}"
  44 End
  45 Counter exercise
  46         GuiName Exercise
  47         LaTeXName xca
  48         PrettyFormat "Exercise \arabic{theorem}"
  49 End
  50 Counter solution
  51         GuiName Solution
  52         LaTeXName sol
  53         PrettyFormat "Solution \arabic{theorem}"
  54 End
  55 Counter remark
  56         GuiName Remark
  57         LaTeXName rem
  58         PrettyFormat "Remark \arabic{theorem}"
  59 End
  60 Counter claim
  61         GuiName Claim
  62         PrettyFormat "Claim \arabic{theorem}"
  63 End