matita/matita/contribs/lambda-delta/Basic-2/names.txt

   1 NAMING CONVENTIONS FOR METAVARIABLES
   2
   3 H      : reserved: transient premise
   4 IH     : reserved: inductive premise
   5 I,J    : item
   6 K,L    : local environment
   7 T,U,V,W: term
   8 X,Y,Z  : reserved: transient objet denoted by a capital letter
   9
  10 d      : relocation depth
  11 e      : relocation height
  12 h      : sort hierarchy parameter
  13 i,j    : local reference position index (de Bruijn's)
  14 k      : sort index