I had a vague idea about an operator that would ease working with value tolerances and ranges. During our ride up Mount Etna, I by chance had the pleasure of sitting next to Geoff Streeter. We started discussing some things, and before long I had my laptop out and we were prototyping a new operator.
I discussed my idea with Nick Nickolov, who told me that being a fan of ⎕CT←0
, he has considered ≈
to denote tolerant equality. I think we then naturally would want ≉
, and ≲
, and