method pp_tau_real = pp_string "real"