lib/layouts/theorems-counters-bytype.inc

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