Re: choice of character for relational division

On Apr 2, 9:09 am, "Aloha Kakuikanu" <aloha.kakuik..._at_yahoo.com> wrote:
> 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
>
> /<

Oooh, I like that second one.

Marshall Received on Mon Apr 02 2007 - 19:07:50 CEST