3 ms·

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

• spurgu 5y ago
  Which you cannot seem to be able to set as default.