Proximity Operators

Proximity Operators (Abstandsoperatoren) werden bei der Eingabe von Suchbegriffen verwendet. Anhand von Proximity Operators können der Umkreis, in dem die Begriffe liegen sollen, oder auch die exakte Reihenfolge der Begriffe vorgegeben werden.