Nowhere else is it necessary to distinguish between these two operators, nor do they give different results for the same arguments.

It feels wrong to introduce a distinction.