Arabic operators U+1EEF0 and U+1EEF1

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=1246657
https://bugs.webkit.org/show_bug.cgi?id=153984

-- 
Frédéric Wang