<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On Wed, Oct 19, 2016 at 10:21 AM, Rob Mayoff via swift-evolution <span dir="ltr">&lt;<a href="mailto:swift-evolution@swift.org" target="_blank">swift-evolution@swift.org</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div class="gmail_extra"><div class="gmail_quote"><span class="">On Wed, Oct 19, 2016 at 10:47 AM, plx via swift-evolution <span dir="ltr">&lt;<a href="mailto:swift-evolution@swift.org" target="_blank">swift-evolution@swift.org</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div style="word-wrap:break-word"><div><div>In any case, I’d specifically hate to lose these:<br><br>- approximate equality: ≈</div><div>- set operations: ∩, ∪ <br>- set relations: ⊂, ⊃, ⊄, ⊅, ⊆, ⊇, ⊈, ⊉, ⊊, ⊋<br>- set membership: ∌, ∋, ∈, ∉<br>- logical operators: ¬, ∧, ∨<br></div></div></div></blockquote><div><br></div></span><div>I&#39;d add ≤ ≥ ≠ to that set. </div></div></div></div></blockquote><div><br></div><div>All of these seem reasonable to me. Can we please confirm that all of these lie within</div><div><br></div></div></div><blockquote style="margin:0 0 0 40px;border:none;padding:0px"><div class="gmail_extra"><div class="gmail_quote"><div>[:S:] - [:Sc]</div></div></div></blockquote><div class="gmail_extra"><div class="gmail_quote"><div><br></div><div>Thanks!</div><div><br></div><div>Rationale will become clear in just a moment.</div><div><br></div><div><br></div><div>Jonathan</div></div></div></div>