<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 Aug 28, 2017, at 9:58 PM, John Pratt 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=""><div class="">I think the editor would recognize that "<==“ was just</div><div class="">typed and replace it with the unicode character ≤ immediately.</div><div class=""><br class=""></div><div class="">Likewise, x^2 would be recognized and turned into x with 2 in superscript.</div><div class=""><br class=""></div><div class="">As for how the UI would work for other types of symbols,</div><div class="">there are all kinds of techniques for that. That is a UI issue,</div><div class="">for a UI design team to address. XCode’s code completion is just one</div><div class="">example of how UI can manage input issues.</div></div></div></blockquote><br class=""></div><div>There is no reason to change the language to enable this. Editors could do this automatically. Alternatively, you could just use a programming font with ligatures for operators, see e.g.:</div><div><a href="https://medium.com/larsenwork-andreas-larsen/ligatures-coding-fonts-5375ab47ef8e" class="">https://medium.com/larsenwork-andreas-larsen/ligatures-coding-fonts-5375ab47ef8e</a></div><div><a href="https://github.com/tonsky/FiraCode" class="">https://github.com/tonsky/FiraCode</a></div><div><a href="https://www.hanselman.com/blog/MonospacedProgrammingFontsWithLigatures.aspx" class="">https://www.hanselman.com/blog/MonospacedProgrammingFontsWithLigatures.aspx</a></div><div><br class=""></div><div>-Chris</div><div><br class=""></div><div><br class=""></div><br class=""></body></html>