I believe it was things like "+" and "-" for set union and subtraction, etc.
That, or &, |, and ^, by analogy with bitwise operators. It definitely came up during the SetAlgebra discussions.
Another thread I guess I didn’t follow closely enough. I think I agree with avoiding using unconventional operators for operations which already have conventional operators associated with them. Maybe someday it will be easy enough to type unicode operators that it might be reasonable to think about using them.
I believe it was things like "+" and "-" for set union and subtraction, etc.
That, or &, |, and ^, by analogy with bitwise operators. It definitely came up during the SetAlgebra discussions.
Another thread I guess I didn’t follow closely enough. I think I agree with avoiding using unconventional operators for operations which already have conventional operators associated with them. Maybe someday it will be easy enough to type unicode operators that it might be reasonable to think about using them.