lib/layouts/theorems-counters-bytype.inc

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