Planetary Notation

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.