matita/matita/lib/lambda-delta/names.txt

   1 NAMING CONVENTIONS FOR METAVARIABLES
   2
   3 I,J    : item
   4 K,L    : local environment
   5 T,U,V,W: term
   6
   7 d      : relocation depth
   8 e      : relocation height
   9 h      : sort hierarchy parameter
  10 i,j    : local reference position index (de Bruijn's)
  11 k      : sort index