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