A last missing link for interoperable representation

[Richard Wordingham via Unicode]

On Sat, 12 Jan 2019 14:21:19 +0000
James Kass via Unicode <unicode at unicode.org> wrote:

> FWIW, the math formula:
> a + b # �� + ��
> ... becomes invalid if normalized NFKD/NFKC.  (Or if copy/pasted from
> an HTML page using marked-up ASCII into a plain-text editor.)

(a) Italic versus plain is not significant in the mathematics I've
encountered.  It's worse than distinguishing capital em and capital mu,
which is allowed if you're the head of department.

(b) a + b # b + a is a general, but not universally true, statement for
ordinal numbers, the simplest example being

ω = 1 + ω ≠ ω + 1

(c) You're talking about a folding, not a normalisation.

The example you want would use emboldening, e.g.

"In general, �� + ��   ��≠ �� + ��"

which is true for vectors ���� and �� if one is treating the
quaternions as a direct sum of reals and real 3-vectors.

Richard.