<html>
  <head>
    <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
  </head>
  <body>
    <div class="moz-cite-prefix">Hello Philipp,<br>
      <br>
      Le 31/12/2020 à 17:28, P M a écrit :<br>
    </div>
    <blockquote type="cite"
cite="mid:CACf7ODtsyM1mfYuuJzTQSh+wyw-ibz1=C2HWFbG5_HRMvDFRuA@mail.gmail.com">
      <meta http-equiv="content-type" content="text/html; charset=UTF-8">
      <div dir="ltr">
        <div><font size="2">Dear,</font></div>
        <div><font size="2"><br>
          </font></div>
        <div><font size="2">if the content of e.g. %chars.greek.lower is
            a string:</font></div>
        <div><span style="font-family:arial,sans-serif"><font size="2"><br>
            </font></span></div>
        <div><span style="font-family:arial,sans-serif"><font size="2">Why
              not even subdivide this further, such as:</font></span></div>
        <div><span style="font-family:arial,sans-serif"><font size="2"><br>
            </font></span></div>
        <div><span style="font-family:arial,sans-serif"><font size="2">%chars.greek.lower.alpha
              = "α"</font></span></div>
        <div><span style="font-family:arial,sans-serif"><font size="2">
              %chars.greek.lower.beta = "<span class="gmail-im">β</span>"
            </font></span></div>
      </div>
    </blockquote>
    <p><br>
    </p>
    <p>Because then this would reintroduce some codes (and even worse,
      paths to codes), and break the overall visibility over sets, which
      is definitely against the main purposes of the proposal.</p>
    Cheers<br>
    Samuel<br>
  </body>
</html>