[jetanoia]

no, not in Settings. The 'Tools' option only appears at the top right of the screen after you conduct a google search in the normal fashion. So search for a term, then click Tools at top to switch to the verbatim option.