Add backslash before underscore in pred_symbol