I disagree pretty strongly with this approach. Firstly because as you've pointed out, changes to the operator characters will have effects on valid operator character sets, secondly because a major question about operators is whether it is feasible or no to manually exclude empty set and infinity given that Unicode is likely to reject that approach. For these reasons I feel very strongly that the reforming the operator and identifier characters must move in tandem.<br><div class="gmail_quote"><div dir="ltr">On Fri, Oct 21, 2016 at 14:28 Nevin Brackett-Rozinsky via swift-evolution <<a href="mailto:swift-evolution@swift.org">swift-evolution@swift.org</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr" class="gmail_msg">I think it is important that we as a community discuss the non-operator portion of this proposal. And, given the strong opinions about operators that have been expressed, I think it is unlikely we will do so while major operator changes are on the table.<div class="gmail_msg"><br class="gmail_msg"></div><div class="gmail_msg">Thus I would suggest that either the operator changes should be separated out into their own proposal, or we should make only minor (and generally consensus-agreed) changes to the operator set as part of this one.</div><div class="gmail_msg"><br class="gmail_msg"></div><div class="gmail_msg">Here is what I propose:</div><div class="gmail_msg"><br class="gmail_msg"></div><div class="gmail_msg">Emoji shall be identifiers, not operators.</div><div class="gmail_msg">The turned ampersand shall be an operator, not an identifier.<br class="gmail_msg"></div><div class="gmail_msg">The empty set and infinity symbols shall be identifiers, not operators.</div><div class="gmail_msg"><br class="gmail_msg"></div><div class="gmail_msg">All other potential changes to the set of operator characters then go in their own proposal, which I am sure will receive a lot of attention.</div><div class="gmail_msg"><br class="gmail_msg"></div><div class="gmail_msg">It may turn out that the non-operator portion of this proposal nonetheless touches characters that Swift has designated for operators, in which case we may address those as they arise.</div><div class="gmail_msg"><br class="gmail_msg"></div><div class="gmail_msg">Does that sound like a reasonable way forward?</div></div><div dir="ltr" class="gmail_msg"><div class="gmail_msg"><br class="gmail_msg"></div><div class="gmail_msg">Nevin</div><div class="gmail_msg"><br class="gmail_msg"></div><div class="gmail_msg"><br class="gmail_msg"></div></div><div class="gmail_extra gmail_msg"><br class="gmail_msg"><div class="gmail_quote gmail_msg">On Fri, Oct 21, 2016 at 9:27 AM, Ben Rimmington via swift-evolution <span dir="ltr" class="gmail_msg"><<a href="mailto:swift-evolution@swift.org" class="gmail_msg" target="_blank">swift-evolution@swift.org</a>></span> wrote:<br class="gmail_msg"><blockquote class="gmail_quote gmail_msg" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class="gmail_msg"><br class="gmail_msg">
> On 21 Oct 2016, at 13:42, Benjamin Spratling wrote:<br class="gmail_msg">
><br class="gmail_msg">
> Brackets and symbols are definitely operators. Different brackets are used to represent various quantum mechanical forms and operations.<br class="gmail_msg">
<br class="gmail_msg">
</span>The brackets are mostly "bracket pieces":<br class="gmail_msg">
<span class="gmail_msg"><br class="gmail_msg">
[:Math_Symbol:]<br class="gmail_msg">
- [:name=/\bANGLE\b/:]<br class="gmail_msg">
</span><span class="gmail_msg"> - [:Emoji:]<br class="gmail_msg">
- [:ID_Continue:]<br class="gmail_msg">
- [:NFC_Quick_Check=No:]<br class="gmail_msg">
& [:Script_Extensions=Common:]<br class="gmail_msg">
</span> & [:Block=Miscellaneous_Technical:]<br class="gmail_msg">
<br class="gmail_msg">
<<a href="http://www.unicode.org/cldr/utility/list-unicodeset.jsp?a=%5B%3AMath_Symbol%3A%5D%0D%0A-+%5B%3Aname%3D%2F%5CbANGLE%5Cb%2F%3A%5D%0D%0A-+%5B%3AEmoji%3A%5D%0D%0A-+%5B%3AID_Continue%3A%5D%0D%0A-+%5B%3ANFC_Quick_Check%3DNo%3A%5D%0D%0A%26+%5B%3AScript_Extensions%3DCommon%3A%5D%0D%0A%26+%5B%3ABlock%3DMiscellaneous_Technical%3A%5D" rel="noreferrer" class="gmail_msg" target="_blank">http://www.unicode.org/cldr/utility/list-unicodeset.jsp?a=%5B%3AMath_Symbol%3A%5D%0D%0A-+%5B%3Aname%3D%2F%5CbANGLE%5Cb%2F%3A%5D%0D%0A-+%5B%3AEmoji%3A%5D%0D%0A-+%5B%3AID_Continue%3A%5D%0D%0A-+%5B%3ANFC_Quick_Check%3DNo%3A%5D%0D%0A%26+%5B%3AScript_Extensions%3DCommon%3A%5D%0D%0A%26+%5B%3ABlock%3DMiscellaneous_Technical%3A%5D</a>><br class="gmail_msg">
<span class="gmail_msg"><br class="gmail_msg">
> Arrows are also useful as operators, including but not restricted to chemical reactions.<br class="gmail_msg">
<br class="gmail_msg">
</span>Including arrows, there are 740 operators:<br class="gmail_msg">
<span class="gmail_msg"><br class="gmail_msg">
[:Math_Symbol:]<br class="gmail_msg">
- [:name=/\bANGLE\b/:]<br class="gmail_msg">
- [:name=EMPTY SET:]<br class="gmail_msg">
- [:name=INFINITY:]<br class="gmail_msg">
- [:Emoji:]<br class="gmail_msg">
- [:ID_Continue:]<br class="gmail_msg">
- [:NFC_Quick_Check=No:]<br class="gmail_msg">
& [:Script_Extensions=Common:]<br class="gmail_msg">
</span> & [[:Block=Arrows:]<br class="gmail_msg">
[:Block=General_Punctuation:]<br class="gmail_msg">
[:Block=Latin_1_Supplement:]<br class="gmail_msg">
[:Block=Mathematical_Operators:]<br class="gmail_msg">
[:Block=Miscellaneous_Mathematical_Symbols_A:]<br class="gmail_msg">
[:Block=Miscellaneous_Symbols_And_Arrows:]<br class="gmail_msg">
[:Block=Supplemental_Arrows_A:]<br class="gmail_msg">
[:Block=Supplemental_Arrows_B:]<br class="gmail_msg">
[:Block=Supplemental_Mathematical_Operators:]]<br class="gmail_msg">
<br class="gmail_msg">
<<a href="http://www.unicode.org/cldr/utility/list-unicodeset.jsp?a=%5B%3AMath_Symbol%3A%5D%0D%0A-+%5B%3Aname%3D%2F%5CbANGLE%5Cb%2F%3A%5D%0D%0A-+%5B%3Aname%3DEMPTY+SET%3A%5D%0D%0A-+%5B%3Aname%3DINFINITY%3A%5D%0D%0A-+%5B%3AEmoji%3A%5D%0D%0A-+%5B%3AID_Continue%3A%5D%0D%0A-+%5B%3ANFC_Quick_Check%3DNo%3A%5D%0D%0A%26+%5B%3AScript_Extensions%3DCommon%3A%5D%0D%0A%26+%5B%5B%3ABlock%3DArrows%3A%5D%0D%0A+++%5B%3ABlock%3DGeneral_Punctuation%3A%5D%0D%0A+++%5B%3ABlock%3DLatin_1_Supplement%3A%5D%0D%0A+++%5B%3ABlock%3DMathematical_Operators%3A%5D%0D%0A+++%5B%3ABlock%3DMiscellaneous_Mathematical_Symbols_A%3A%5D%0D%0A+++%5B%3ABlock%3DMiscellaneous_Symbols_And_Arrows%3A%5D%0D%0A+++%5B%3ABlock%3DSupplemental_Arrows_A%3A%5D%0D%0A+++%5B%3ABlock%3DSupplemental_Arrows_B%3A%5D%0D%0A+++%5B%3ABlock%3DSupplemental_Mathematical_Operators%3A%5D%5D" rel="noreferrer" class="gmail_msg" target="_blank">http://www.unicode.org/cldr/utility/list-unicodeset.jsp?a=%5B%3AMath_Symbol%3A%5D%0D%0A-+%5B%3Aname%3D%2F%5CbANGLE%5Cb%2F%3A%5D%0D%0A-+%5B%3Aname%3DEMPTY+SET%3A%5D%0D%0A-+%5B%3Aname%3DINFINITY%3A%5D%0D%0A-+%5B%3AEmoji%3A%5D%0D%0A-+%5B%3AID_Continue%3A%5D%0D%0A-+%5B%3ANFC_Quick_Check%3DNo%3A%5D%0D%0A%26+%5B%3AScript_Extensions%3DCommon%3A%5D%0D%0A%26+%5B%5B%3ABlock%3DArrows%3A%5D%0D%0A+++%5B%3ABlock%3DGeneral_Punctuation%3A%5D%0D%0A+++%5B%3ABlock%3DLatin_1_Supplement%3A%5D%0D%0A+++%5B%3ABlock%3DMathematical_Operators%3A%5D%0D%0A+++%5B%3ABlock%3DMiscellaneous_Mathematical_Symbols_A%3A%5D%0D%0A+++%5B%3ABlock%3DMiscellaneous_Symbols_And_Arrows%3A%5D%0D%0A+++%5B%3ABlock%3DSupplemental_Arrows_A%3A%5D%0D%0A+++%5B%3ABlock%3DSupplemental_Arrows_B%3A%5D%0D%0A+++%5B%3ABlock%3DSupplemental_Mathematical_Operators%3A%5D%5D</a>><br class="gmail_msg">
<div class="m_8003666388572021594HOEnZb gmail_msg"><div class="m_8003666388572021594h5 gmail_msg"><br class="gmail_msg">
-- Ben<br class="gmail_msg">
<br class="gmail_msg">
_______________________________________________<br class="gmail_msg">
swift-evolution mailing list<br class="gmail_msg">
<a href="mailto:swift-evolution@swift.org" class="gmail_msg" target="_blank">swift-evolution@swift.org</a><br class="gmail_msg">
<a href="https://lists.swift.org/mailman/listinfo/swift-evolution" rel="noreferrer" class="gmail_msg" target="_blank">https://lists.swift.org/mailman/listinfo/swift-evolution</a><br class="gmail_msg">
</div></div></blockquote></div><br class="gmail_msg"></div>
_______________________________________________<br class="gmail_msg">
swift-evolution mailing list<br class="gmail_msg">
<a href="mailto:swift-evolution@swift.org" class="gmail_msg" target="_blank">swift-evolution@swift.org</a><br class="gmail_msg">
<a href="https://lists.swift.org/mailman/listinfo/swift-evolution" rel="noreferrer" class="gmail_msg" target="_blank">https://lists.swift.org/mailman/listinfo/swift-evolution</a><br class="gmail_msg">
</blockquote></div>