(JC3-7FD6): Map to U+222A instead of U+22C3.

(JC3-7FD7): Map to U+2229 instead of U+22C2.
(JC3-7FD8): Map to U+2227 instead of U+22C0.
(JC3-7FD9): Map to U+2228 instead of U+22C1.

diff --git a/etc/char-data/JC3-to-UCS.txt b/etc/char-data/JC3-to-UCS.txt
index 88604dc..ffd0912 100644 (file)
--- a/etc/char-data/JC3-to-UCS.txt
+++ b/etc/char-data/JC3-to-UCS.txt
@@ -4058,10 +4058,10 @@ JC3-7FD2        U+2286
 JC3-7FD3       U+2287
 JC3-7FD4       U+2282
 JC3-7FD5       U+2283
 JC3-7FD3       U+2287
 JC3-7FD4       U+2282
 JC3-7FD5       U+2283

-JC3-7FD6       U+22C3
-JC3-7FD7       U+22C2
-JC3-7FD8       U+22C0
-JC3-7FD9       U+22C1
+JC3-7FD6       U+222A
+JC3-7FD7       U+2229
+JC3-7FD8       U+2227
+JC3-7FD9       U+2228

 JC3-7FDA       U+21D2
 JC3-7FDB       U+21D4
 JC3-7FDC       U+2200
 JC3-7FDA       U+21D2
 JC3-7FDB       U+21D4
 JC3-7FDC       U+2200