Do # and ++ count as punctuation? But yes, that's my point, they should at least favour results that match on non-alphanumeric characters if used with double quotes (ideally I should even be able to search for double quote characters!).