Non-ASCII characters are inconsistently represented

[gibson042]

cf. #621 (comment) :

ECMA-262 prefers HTML character entities and ECMA-402 should follow suit. But we'll probably just update everything at once.

$ egrep --no-filename -ro \
  '[^][\n !"#$%&'\''()*+,./0-9:;<=>?@A-Z\\^_`a-z{|}~-]|&[[:alnum:]]*;' spec/ | \
  sort | uniq -c
     10 ×
     11 ≠
      3 ≤
      3 ≥
      9 §
     23 –
     16 𝔽
      5 &ge;
     84 &gt;
      3 &infin;
     79 &laquo;
      2 &ldquo;
      1 &le;
     87 &lt;
      1 &mdash;
      1 &ne;
     79 &raquo;
      2 &rdquo;
      1 &reg;

[ben-allen]

In the time between when this issue was initially posted and now ECMA-262 has replaced HTML character entities (see: tc39/ecma262#2901) with the Unicode characters they represent. I've put up #907, which makes character representation in ECMA-402 consistent by using Unicode characters rather than HTML entities — the representation that 262 uses now, which is the opposite of the representation they standardized on back in 2021.

[ben-allen]

Closed by #907