William White <bwhite(at)frognet(dot)net> writes:
> Tom Lane wrote:
>> I can't think of an equally succinct definition of what the operators
>> really do though. Comments?
> I think "not to the left of" and "not to the right of" are sufficiently
> succinct. That they may not see much user application may not be
> relevant, if they are required to properly implement << and >> on rtrees.
Right, but what about the existing operators --- what is a more correct
way to document them?
regards, tom lane