<html><head><meta http-equiv="content-type" content="text/html; charset=utf-8"></head><body dir="auto"><div><blockquote type="cite">I believe it was things like "+" and "-" for set union and subtraction, etc.</blockquote></div><div id="AppleMailSignature"><br></div><div id="AppleMailSignature">That, or &amp;, |, and ^, by analogy with bitwise operators. It definitely came up during the SetAlgebra discussions.&nbsp;</div><div id="AppleMailSignature"><span style="background-color: rgba(255, 255, 255, 0);"><br></span><div><span style="background-color: rgba(255, 255, 255, 0);">--&nbsp;</span></div><div><span style="background-color: rgba(255, 255, 255, 0);">Brent Royal-Gordon</span></div><span style="background-color: rgba(255, 255, 255, 0);">Sent from my iPhone</span></div><div id="AppleMailSignature"><br></div><blockquote type="cite"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><br>
</blockquote></div>
</blockquote></body></html>