<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 Oct 19, 2016, at 12:29 PM, Jonathan S. Shapiro via swift-evolution &lt;<a href="mailto:swift-evolution@swift.org" class="">swift-evolution@swift.org</a>&gt; wrote:</div><br class="Apple-interchange-newline"><div class=""><div dir="ltr" class=""><div class="gmail_extra"><div class="gmail_quote">On Wed, Oct 19, 2016 at 6:41 AM, Matthew Johnson via swift-evolution <span dir="ltr" class="">&lt;<a href="mailto:swift-evolution@swift.org" target="_blank" class="">swift-evolution@swift.org</a>&gt;</span> wrote:<br class=""><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div style="word-wrap:break-word" class=""><div class="">IMO, the best argument against using unicode symbols for operators defined by mathematics is that they are currently difficult to type.</div></div></blockquote></div></div><div class=""><div class="gmail_extra"><div class="gmail_quote"><div class=""><br class=""></div><div class="">And there is no realistic hope of that changing. This issue is so compelling that C and C++ introduced standardized text-ascii alternatives for the punctuation operators to relieve stress on non-english keyboard users.</div></div></div></div></div></div></blockquote></div><br class=""><div class="">Wait, what? They’re only hard to type because people don’t seem to realize they can make their own keyboard layouts to use while they’re waiting for the USB Consortium to notice that it’s not the '80s anymore and update the class driver spec to allow keyboards to directly type unicode characters.</div><div class="">For macOS, I use Ukelele (<a href="http://scripts.sil.org/cms/scripts/page.php?site_id=nrsi&amp;id=ukelele" class="">http://scripts.sil.org/cms/scripts/page.php?site_id=nrsi&amp;id=ukelele</a>). I don’t know what tools there are for Windows or Linux, but I’d be *shocked* if they didn’t exist.</div><div class=""><br class=""></div><div class="">- Dave Sweeris</div></body></html>