<html><head><meta http-equiv="Content-Type" content="text/html charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class=""><br class=""><div><blockquote type="cite" class=""><div class="">On May 24, 2016, at 8:06 PM, Matthew Johnson via swift-evolution <<a href="mailto:swift-evolution@swift.org" class="">swift-evolution@swift.org</a>> wrote:</div><br class="Apple-interchange-newline"><div class=""><meta http-equiv="Content-Type" content="text/html charset=utf-8" class=""><div style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class=""><br class=""><div class=""><blockquote type="cite" class=""><div class="">On May 24, 2016, at 7:45 PM, Brent Royal-Gordon <<a href="mailto:brent@architechies.com" class="">brent@architechies.com</a>> wrote:</div><br class="Apple-interchange-newline"><div class=""><meta http-equiv="content-type" content="text/html; charset=utf-8" class=""><div dir="auto" class=""><div class=""><blockquote type="cite" class="">I believe it was things like "+" and "-" for set union and subtraction, etc.</blockquote></div><div class=""><br class=""></div><div class="">That, or &, |, and ^, by analogy with bitwise operators. It definitely came up during the SetAlgebra discussions. </div></div></div></blockquote><div class=""><br class=""></div>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.</div></div></div></blockquote>Kinda off-topic, but since you asked… I’m a fan of using a custom keyboard layout to remap the alt-layer (<a href="http://scripts.sil.org/cms/scripts/page.php?site_id=nrsi&id=ukelele" class="">http://scripts.sil.org/cms/scripts/page.php?site_id=nrsi&id=ukelele</a>). There’s also the “Greek Polytonic” layout included in OS X which has several of math symbols, but notably <i class="">not</i> anything from set notation. You'd still need a custom layout for those, or just keep the “emoji & symbols” viewer up. </div><div><br class=""></div><div>Unicode isn't hard to do (at least on OS X… I haven’t tried Windows or Linux), but it’s impossible to make a class-compliant keyboard that just directly types unicode characters because the USB HID spec doesn’t support it (<a href="https://github.com/kiibohd/KiiConf/issues/30" class="">https://github.com/kiibohd/KiiConf/issues/30</a>). Until that changes, we’re stuck with using either custom keyboard layouts, macro software, or app-dependant shortcuts. It’s not impossible, it just takes a few of the 800+ member companies deciding that it’s time to get the ball rolling. If only someone who works for such a company were on this mailing list...</div><div><br class=""></div><div>- Dave Sweeris</div></body></html>