method pp_tau_alpha fmt k =
    if 0<= k && k < 26 
    then Format.fprintf fmt "'%c" (char_of_int (int_of_char 'a' + k))
    else Format.fprintf fmt "'a%d" k