Proximity Operators | Compendium