On Tue, Jun 23, 2020 at 8:44 AM Mathew Elman <mathew.elman@ocado.com> wrote:

Perhaps a more versatile operator would be to introduce a +- operator that would return an object with an __eq__ method that checks for equality in the tolerance i.e

a == b +- 0.5

This is already valid syntax, because unary minus is a thing. So this is currently parsed as "a == b + (-0.5)".

Reversing it to use -+ won't work because unary plus is also a thing.