<html>

  <head>

    <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">

  </head>

  <body>

    <p><br>

    </p>

    <div class="moz-cite-prefix">On 8/2/2021 8:53 AM, Matt Rice via

      Unicode wrote:<br>

    </div>

    <blockquote type="cite"

cite="mid:CACTLOFq4-Zuma1piqKhCAVmhGktQ9WkwQa589HQSLJkWk+3mwA@mail.gmail.com">

      <pre class="moz-quote-pre" wrap="">Unlike _ ^ isn't a valid identifier... </pre>

    </blockquote>

    The ASCII U+005E ^ CIRCUMFLEX ACCENT is disallowed from most

    identifier syntax, but the corresponding modifier letter U+02C6 ˆ

    MODIFIER LETTER CIRCUMFLEX ACCENT is generally allowed, along with

    most of the letterform modifier letters from that same Spacing

    Modifier Letters block, e.g. U+02B7 ʷ MODIFER LETTER SMALL W. <br>

    <blockquote type="cite"

cite="mid:CACTLOFq4-Zuma1piqKhCAVmhGktQ9WkwQa589HQSLJkWk+3mwA@mail.gmail.com">

      <pre class="moz-quote-pre" wrap="">Keeping the core implementation

of the language small and allowing unicode identifiers gives a good

balance between simplicity,

while affording some more opportunity for proof clarity </pre>

    </blockquote>

    <p>So if you are looking for a creative balance, where e^iπ might

      not work because of the status of U+005E in a particular system,

      eˆiπ  might work.</p>

    <p>Of course, it would be nicest if e<sup>iπ</sup> just worked. ;-)<br>

    </p>

    --Ken<br>

    <blockquote type="cite"

cite="mid:CACTLOFq4-Zuma1piqKhCAVmhGktQ9WkwQa589HQSLJkWk+3mwA@mail.gmail.com">

      <pre class="moz-quote-pre" wrap="">(This is at

least what I imagine to be the case, I didn't implement the language

either)...

</pre>

    </blockquote>

  </body>

</html>