RE: JW16: operator names

> I believe that one reason we made the names short because that
> increases the efficiency. I also believe that we thought that the
> operator names were in a part of the protocol that was not supposed
> to be internationalized.

I have no problem with the shortness of the names.  My concern is that
nowhere in the DASL spec. is there ever text that says, for example, "lt
means 'less than'".  There is never a definition of what "less than" means
either.

- Jim