Arabic operators U+1EEF0 and U+1EEF1

This is an OpenPGP/MIME signed message (RFC 4880 and 3156)
--ojUgX76vIO6BJxMpXrwrU5c0jxhQlTiIk
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable

Dear all,

The MathML recommendation refers to
http://www.unicode.org/charts/PDF/U1EE00.pdf which contains two Arabic
operators (U+1EEF0 and U+1EEF1). Note that these operators are stretchy.

They are not mentioned on
https://www.w3.org/Math/draft-spec/appendixc.html. Actually, the
unicode.xml file from https://www.w3.org/TR/xml-entity-names/ does not
have any operator-dictionary or unicode-math entry either.

See also:
https://github.com/wspr/unicode-math/pull/320
https://github.com/khaledhosny/xits-math/issues/45
https://bugzilla.mozilla.org/show_bug.cgi?id=3D1246657
https://bugs.webkit.org/show_bug.cgi?id=3D153984

--=20
Fr=C3=A9d=C3=A9ric Wang



--ojUgX76vIO6BJxMpXrwrU5c0jxhQlTiIk
Content-Type: application/pgp-signature; name="signature.asc"
Content-Description: OpenPGP digital signature
Content-Disposition: attachment; filename="signature.asc"

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2

iQIcBAEBCAAGBQJWuLYiAAoJEL8nnpULUzQOOkEP/24/x4ToqKTtGFtvT+EWQpGG
augG18j/KcAwmlwck5R0LxYmqn7gjSHY2odIEQ7IvBi/800wwwzONgwpVs8iQDAc
od9DGEPxbNzaH+kXHenPeD9g9c/1moiO4jm6RsWNNkgJHX2mxUTgiAFxqc/Ahm7m
cmyMX9ExgXf4BKSqxlis4aZE/1x4ZA0LMojcGHYJA7/kx4eLorkaXtQpHheIEY2E
WC/0O+6h8XFgpcYucoxB6Mm0M6ZJ5r3fXE91bUZeFWCQyA5w0SYH42wgJ5dbQGl5
UWlDtqAS1BRYH+ijktKIuJFT/BiSTmyZ0cVznavBbaWeYSJJ3IxkgYwTDrewYbZZ
tgQPuiUsipOV9El1vhHn6Ei6OcxPH5YmA7oCPFmbuN1A0AJ3smYZaKVkdCceH4de
QKciDcc3jS1c3kpkvgSnztmjsTCkWamP5qucMwJrXvyeEbIqBO1CrOXhjpRcjpBU
/mUaSi6pgI3Z3GbmUowjntYbqDhfZL7y9Zt+FpiSxbun31R8SGCkOhUBWZL9464O
/RxPSdAz33XWYZzcqqzzhVGRllMxd95qSjZybXeh2786MZo/lG0iMYy0Wqzk/ch5
fT2ewItyOGEKW+tD4o1V7PF8Uygxl/j+VsTVPQpfhiMQxWtSP2vFEJvl5enJGKFW
AkzDExFm5UHKCTNQnze+
=rqG+
-----END PGP SIGNATURE-----

--ojUgX76vIO6BJxMpXrwrU5c0jxhQlTiIk--