Less than approx equals? <≈

[anon37204545]

@anon92994695

leaq(a,b) = (a <= b) || (a ≈ b)

The operator makes perfect sense to me, but why not just define it with < instead of <=:

(a < b) || (a ≈ b)