Re: choice of character for relational division

On Mar 31, 7:44 am, "Marshall" <marshall.spi..._at_gmail.com> wrote:
> Let us consider the choice of characters to use for
> relational operators. It might be desirable to use
> different characters for the relational operators from
> the scalar ones, so we avoid using * for join, even
> though it is in some sense a product operator.
>
> Set subtraction already has a standard character
> in common usage: \
>
> But we also need a character for relational division.
> The / character is often used, but that's the same
> as numerical division. Bummer.
>
> So, if you had to choose an ascii character for
> relational division, which one would you use
> and why?

Given that relational division is a set containment join, why not

/\<

or

/< Received on Mon Apr 02 2007 - 18:09:35 CEST