Google also has verbatim search, which works a lot better than quotes, but still fails with some symbol keys.