Editorial: Improve consistency of mathematical conventions

[gibson042]

Fixes #1548
Ref tc39/ecma262#2730

• subtraction and negation as - (U+002D HYPHEN-MINUS) rather than − (U+2212 MINUS SIGN)
• multiplication as ×
• loose inequality as ≤/≥
• inequality as ≠
• infinity as ∞

[codecov]

Codecov Report

Merging #2162 (a393ccd) into main (3ff818d) will not change coverage.
The diff coverage is n/a.

@@           Coverage Diff           @@
##             main    #2162   +/-   ##
=======================================
  Coverage   90.03%   90.03%           
=======================================
  Files          19       19           
  Lines       10905    10905           
  Branches     1693     1693           
=======================================
  Hits         9818     9818           
  Misses       1073     1073           
  Partials       14       14           

Flag	Coverage Δ
test262	83.44% <ø> (ø)
tests	80.76% <ø> (ø)

Flags with carried forward coverage won't be shown. Click here to find out more.

---

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update 3ff818d...a393ccd. Read the comment docs.

[ptomato]

I think it's a bit silly that we have glyphs like 𝔽 written out, but character entities for things like ×, and I think ECMA-262 made the wrong choice to prefer - (hyphen) over U+2212 (−), but if this is the current convention then 🤷

[gibson042]

I do expect the conventions to change at some point, but this provides alignment now (and will close an open issue when it lands).