Proximity Operators
Quote taken from https://www.govinfo.gov/help/search-operators
Proximity Operators
Proximity Operators allow you to specify searches where one word is near, next to, or in the vicinity of another word. The three proximity operators defined are:
Adj: The adj proximity operator specifies that one word is adjacent to another in a document.
before/#: The before/# proximity operator specifies that the first word is within # words and before the second word.
near/#: The near/# proximity operator specifies that the first word is within # words of the second word.