Symbol: match_print_implied