Sync with r21-2-19-utf-2000-0_13-0.
[chise/xemacs-chise.git] / lisp / utf-2000 / u02200-Mathematical-Operators.el
index cdbbbde..5e502a7 100644 (file)
@@ -4,8 +4,8 @@
     (general-category  symbol math) ; Informative Category
     (bidi-category     . "ON")
     (mirrored          . nil)
-    (japanese-jisx0208 #x22 #x4F)      ; \e$(B"O\e(B
-    (korean-ksc5601    #x22 #x23)      ; \e$(C"#\e(B
+    (japanese-jisx0208 #x22 #x4F)      ; 
+    (korean-ksc5601    #x22 #x23)      ; 
     ))
 (define-char
   '((name              . "COMPLEMENT")
@@ -20,8 +20,8 @@
     (general-category  symbol math) ; Informative Category
     (bidi-category     . "ON")
     (mirrored          . t)
-    (japanese-jisx0208 #x22 #x5F)      ; \e$(B"_\e(B
-    (korean-ksc5601    #x21 #x53)      ; \e$(C!S\e(B
+    (japanese-jisx0208 #x22 #x5F)      ; 
+    (korean-ksc5601    #x21 #x53)      ; 
     ))
 (define-char
   '((name              . "THERE EXISTS")
@@ -29,8 +29,8 @@
     (general-category  symbol math) ; Informative Category
     (bidi-category     . "ON")
     (mirrored          . t)
-    (japanese-jisx0208 #x22 #x50)      ; \e$(B"P\e(B
-    (korean-ksc5601    #x22 #x24)      ; \e$(C"$\e(B
+    (japanese-jisx0208 #x22 #x50)      ; 
+    (korean-ksc5601    #x22 #x24)      ; 
     ))
 (define-char
   '((name              . "THERE DOES NOT EXIST")
@@ -46,6 +46,7 @@
     (general-category  symbol math) ; Informative Category
     (bidi-category     . "ON")
     (mirrored          . nil)
+    (japanese-jisx0213-1       #x22 #x47)      ; ∅
     ))
 (define-char
   '((name              . "INCREMENT")
@@ -60,8 +61,8 @@
     (general-category  symbol math) ; Informative Category
     (bidi-category     . "ON")
     (mirrored          . nil)
-    (japanese-jisx0208 #x22 #x60)      ; \e$(B"`\e(B
-    (korean-ksc5601    #x21 #x54)      ; \e$(C!T\e(B
+    (japanese-jisx0208 #x22 #x60)      ; 
+    (korean-ksc5601    #x21 #x54)      ; 
     ))
 (define-char
   '((name              . "ELEMENT OF")
@@ -69,9 +70,9 @@
     (general-category  symbol math) ; Informative Category
     (bidi-category     . "ON")
     (mirrored          . t)
-    (chinese-gb2312    #x21 #x4A)      ; \e$(A!J\e(B
-    (japanese-jisx0208 #x22 #x3A)      ; \e$(B":\e(B
-    (korean-ksc5601    #x21 #x74)      ; \e$(C!t\e(B
+    (chinese-gb2312    #x21 #x4A)      ; 
+    (japanese-jisx0208 #x22 #x3A)      ; 
+    (korean-ksc5601    #x21 #x74)      ; 
     ))
 (define-char
   '((name              . "NOT AN ELEMENT OF")
@@ -80,6 +81,7 @@
     (bidi-category     . "ON")
     (mirrored          . t)
     (->decomposition   #x2208 #x0338)
+    (japanese-jisx0213-1       #x22 #x46)      ; ∉
     ))
 (define-char
   '((name              . "SMALL ELEMENT OF")
@@ -94,8 +96,8 @@
     (general-category  symbol math) ; Informative Category
     (bidi-category     . "ON")
     (mirrored          . t)
-    (japanese-jisx0208 #x22 #x3B)      ; \e$(B";\e(B
-    (korean-ksc5601    #x21 #x75)      ; \e$(C!u\e(B
+    (japanese-jisx0208 #x22 #x3B)      ; 
+    (korean-ksc5601    #x21 #x75)      ; 
     ))
 (define-char
   '((name              . "DOES NOT CONTAIN AS MEMBER")
     (general-category  symbol math) ; Informative Category
     (bidi-category     . "ON")
     (mirrored          . nil)
-    (chinese-gb2312    #x21 #x47)      ; \e$(A!G\e(B
-    (korean-ksc5601    #x22 #x33)      ; \e$(C"3\e(B
+    (chinese-gb2312    #x21 #x47)      ; 
+    (korean-ksc5601    #x22 #x33)      ; 
     ))
 (define-char
   '((name              . "N-ARY COPRODUCT")
     (general-category  symbol math) ; Informative Category
     (bidi-category     . "ON")
     (mirrored          . t)
-    (chinese-gb2312    #x21 #x46)      ; \e$(A!F\e(B
-    (korean-ksc5601    #x22 #x32)      ; \e$(C"2\e(B
+    (chinese-gb2312    #x21 #x46)      ; 
+    (korean-ksc5601    #x22 #x32)      ; 
     ))
 (define-char
   '((name              . "MINUS SIGN")
     (general-category  symbol math) ; Informative Category
     (bidi-category     . "ET")
     (mirrored          . nil)
-    (japanese-jisx0208-1978    #x21 #x5D)      ; \e$(@!]\e(B
-    (japanese-jisx0208         #x21 #x5D)      ; \e$(B!]\e(B
+    (japanese-jisx0208-1978    #x21 #x5D)      ; 
+    (japanese-jisx0208         #x21 #x5D)      ; 
     ))
 (define-char
   '((name              . "MINUS-OR-PLUS SIGN")
     (general-category  symbol math) ; Informative Category
     (bidi-category     . "ET")
     (mirrored          . nil)
+    (japanese-jisx0213-1       #x23 #x5B)      ; ∓
     ))
 (define-char
   '((name              . "DOT PLUS")
     (general-category  symbol math) ; Informative Category
     (bidi-category     . "ON")
     (mirrored          . t)
-    (chinese-cns11643-1 #x22 #x61)     ; \e$(G"a\e(B
+    (chinese-cns11643-1 #x22 #x61)     ; 
     ))
 (define-char
   '((name              . "SET MINUS")
     (general-category  symbol math) ; Informative Category
     (bidi-category     . "ON")
     (mirrored          . t)
-    (chinese-gb2312    #x21 #x4C)      ; \e$(A!L\e(B
-    (japanese-jisx0208 #x22 #x65)      ; \e$(B"e\e(B
-    (korean-ksc5601    #x21 #x6E)      ; \e$(C!n\e(B
-    (chinese-cns11643-1 #x22 #x35)     ; \e$(G"5\e(B
+    (chinese-gb2312    #x21 #x4C)      ; 
+    (japanese-jisx0208 #x22 #x65)      ; 
+    (korean-ksc5601    #x21 #x6E)      ; 
+    (chinese-cns11643-1 #x22 #x35)     ; 
     ))
 (define-char
   '((name              . "CUBE ROOT")
     (general-category  symbol math) ; Informative Category
     (bidi-category     . "ON")
     (mirrored          . t)
-    (chinese-gb2312    #x21 #x58)      ; \e$(A!X\e(B
-    (japanese-jisx0208 #x22 #x67)      ; \e$(B"g\e(B
-    (korean-ksc5601    #x21 #x70)      ; \e$(C!p\e(B
+    (chinese-gb2312    #x21 #x58)      ; 
+    (japanese-jisx0208 #x22 #x67)      ; 
+    (korean-ksc5601    #x21 #x70)      ; 
     ))
 (define-char
   '((name              . "INFINITY")
     (general-category  symbol math) ; Informative Category
     (bidi-category     . "ON")
     (mirrored          . nil)
-    (japanese-jisx0208-1978    #x21 #x67)      ; \e$(@!g\e(B
-    (chinese-gb2312            #x21 #x5E)      ; \e$(A!^\e(B
-    (japanese-jisx0208         #x21 #x67)      ; \e$(B!g\e(B
-    (korean-ksc5601            #x21 #x44)      ; \e$(C!D\e(B
-    (chinese-cns11643-1                #x22 #x3C)      ; \e$(G"<\e(B
+    (japanese-jisx0208-1978    #x21 #x67)      ; 
+    (chinese-gb2312            #x21 #x5E)      ; 
+    (japanese-jisx0208         #x21 #x67)      ; 
+    (korean-ksc5601            #x21 #x44)      ; 
+    (chinese-cns11643-1                #x22 #x3C)      ; 
     ))
 (define-char
   '((name              . "RIGHT ANGLE")
     (general-category  symbol math) ; Informative Category
     (bidi-category     . "ON")
     (mirrored          . t)
-    (chinese-cns11643-1 #x22 #x49)     ; \e$(G"I\e(B
+    (chinese-cns11643-1                #x22 #x49)      ; 
+    (japanese-jisx0213-1       #x2D #x78)      ; ∟
     ))
 (define-char
   '((name              . "ANGLE")
     (general-category  symbol math) ; Informative Category
     (bidi-category     . "ON")
     (mirrored          . t)
-    (chinese-gb2312    #x21 #x4F)      ; \e$(A!O\e(B
-    (japanese-jisx0208 #x22 #x5C)      ; \e$(B"\\e(B
-    (korean-ksc5601    #x21 #x50)      ; \e$(C!P\e(B
-    (chinese-cns11643-1 #x22 #x48)     ; \e$(G"H\e(B
+    (chinese-gb2312    #x21 #x4F)      ; 
+    (japanese-jisx0208 #x22 #x5C)      ; 
+    (korean-ksc5601    #x21 #x50)      ; 
+    (chinese-cns11643-1 #x22 #x48)     ; 
     ))
 (define-char
   '((name              . "MEASURED ANGLE")
     (general-category  symbol math) ; Informative Category
     (bidi-category     . "ON")
     (mirrored          . nil)
-    (chinese-gb2312    #x21 #x4E)      ; \e$(A!N\e(B
-    (korean-ksc5601    #x21 #x2B)      ; \e$(C!+\e(B
+    (chinese-gb2312            #x21 #x4E)      ; 
+    (korean-ksc5601            #x21 #x2B)      ; 
+    (japanese-jisx0213-1       #x22 #x54)      ; ∥
     ))
 (define-char
   '((name              . "NOT PARALLEL TO")
     (bidi-category     . "ON")
     (mirrored          . t)
     (->decomposition   #x2225 #x0338)
+    (japanese-jisx0213-1       #x22 #x55)      ; ∦
     ))
 (define-char
   '((name              . "LOGICAL AND")
     (general-category  symbol math) ; Informative Category
     (bidi-category     . "ON")
     (mirrored          . nil)
-    (chinese-gb2312    #x21 #x44)      ; \e$(A!D\e(B
-    (japanese-jisx0208 #x22 #x4A)      ; \e$(B"J\e(B
-    (korean-ksc5601    #x21 #x7C)      ; \e$(C!|\e(B
+    (chinese-gb2312    #x21 #x44)      ; 
+    (japanese-jisx0208 #x22 #x4A)      ; 
+    (korean-ksc5601    #x21 #x7C)      ; 
     ))
 (define-char
   '((name              . "LOGICAL OR")
     (general-category  symbol math) ; Informative Category
     (bidi-category     . "ON")
     (mirrored          . nil)
-    (chinese-gb2312    #x21 #x45)      ; \e$(A!E\e(B
-    (japanese-jisx0208 #x22 #x4B)      ; \e$(B"K\e(B
-    (korean-ksc5601    #x21 #x7D)      ; \e$(C!}\e(B
+    (chinese-gb2312    #x21 #x45)      ; 
+    (japanese-jisx0208 #x22 #x4B)      ; 
+    (korean-ksc5601    #x21 #x7D)      ; 
     ))
 (define-char
   '((name              . "INTERSECTION")
     (general-category  symbol math) ; Informative Category
     (bidi-category     . "ON")
     (mirrored          . nil)
-    (chinese-gb2312    #x21 #x49)      ; \e$(A!I\e(B
-    (japanese-jisx0208 #x22 #x41)      ; \e$(B"A\e(B
-    (korean-ksc5601    #x21 #x7B)      ; \e$(C!{\e(B
-    (chinese-cns11643-1 #x22 #x45)     ; \e$(G"E\e(B
+    (chinese-gb2312    #x21 #x49)      ; 
+    (japanese-jisx0208 #x22 #x41)      ; 
+    (korean-ksc5601    #x21 #x7B)      ; 
+    (chinese-cns11643-1 #x22 #x45)     ; 
     ))
 (define-char
   '((name              . "UNION")
     (general-category  symbol math) ; Informative Category
     (bidi-category     . "ON")
     (mirrored          . nil)
-    (chinese-gb2312    #x21 #x48)      ; \e$(A!H\e(B
-    (japanese-jisx0208 #x22 #x40)      ; \e$(B"@\e(B
-    (korean-ksc5601    #x21 #x7A)      ; \e$(C!z\e(B
-    (chinese-cns11643-1 #x22 #x46)     ; \e$(G"F\e(B
+    (chinese-gb2312    #x21 #x48)      ; 
+    (japanese-jisx0208 #x22 #x40)      ; 
+    (korean-ksc5601    #x21 #x7A)      ; 
+    (chinese-cns11643-1 #x22 #x46)     ; 
     ))
 (define-char
   '((name              . "INTEGRAL")
     (general-category  symbol math) ; Informative Category
     (bidi-category     . "ON")
     (mirrored          . t)
-    (chinese-gb2312    #x21 #x52)      ; \e$(A!R\e(B
-    (japanese-jisx0208 #x22 #x69)      ; \e$(B"i\e(B
-    (korean-ksc5601    #x21 #x72)      ; \e$(C!r\e(B
-    (chinese-cns11643-1 #x22 #x4D)     ; \e$(G"M\e(B
+    (chinese-gb2312    #x21 #x52)      ; 
+    (japanese-jisx0208 #x22 #x69)      ; 
+    (korean-ksc5601    #x21 #x72)      ; 
+    (chinese-cns11643-1 #x22 #x4D)     ; 
     ))
 (define-char
   '((name              . "DOUBLE INTEGRAL")
     (bidi-category     . "ON")
     (mirrored          . t)
     (->decomposition   compat #x222B #x222B)
-    (japanese-jisx0208 #x22 #x6A)      ; \e$(B"j\e(B
-    (korean-ksc5601    #x21 #x73)      ; \e$(C!s\e(B
+    (japanese-jisx0208 #x22 #x6A)      ; 
+    (korean-ksc5601    #x21 #x73)      ; 
     ))
 (define-char
   '((name              . "TRIPLE INTEGRAL")
     (general-category  symbol math) ; Informative Category
     (bidi-category     . "ON")
     (mirrored          . t)
-    (chinese-gb2312    #x21 #x53)      ; \e$(A!S\e(B
-    (korean-ksc5601    #x22 #x31)      ; \e$(C"1\e(B
-    (chinese-cns11643-1 #x22 #x4E)     ; \e$(G"N\e(B
+    (chinese-gb2312            #x21 #x53)      ; 
+    (korean-ksc5601            #x22 #x31)      ; 
+    (chinese-cns11643-1                #x22 #x4E)      ; 
+    (japanese-jisx0213-1       #x2D #x73)      ; ∮
     ))
 (define-char
   '((name              . "SURFACE INTEGRAL")
     (general-category  symbol math) ; Informative Category
     (bidi-category     . "ON")
     (mirrored          . nil)
-    (japanese-jisx0208-1978    #x21 #x68)      ; \e$(@!h\e(B
-    (chinese-gb2312            #x21 #x60)      ; \e$(A!`\e(B
-    (japanese-jisx0208         #x21 #x68)      ; \e$(B!h\e(B
-    (korean-ksc5601            #x21 #x45)      ; \e$(C!E\e(B
-    (chinese-cns11643-1                #x22 #x50)      ; \e$(G"P\e(B
+    (japanese-jisx0208-1978    #x21 #x68)      ; 
+    (chinese-gb2312            #x21 #x60)      ; 
+    (japanese-jisx0208         #x21 #x68)      ; 
+    (korean-ksc5601            #x21 #x45)      ; 
+    (chinese-cns11643-1                #x22 #x50)      ; 
     ))
 (define-char
   '((name              . "BECAUSE")
     (general-category  symbol math) ; Informative Category
     (bidi-category     . "ON")
     (mirrored          . nil)
-    (chinese-gb2312    #x21 #x5F)      ; \e$(A!_\e(B
-    (japanese-jisx0208 #x22 #x68)      ; \e$(B"h\e(B
-    (korean-ksc5601    #x21 #x71)      ; \e$(C!q\e(B
-    (chinese-cns11643-1 #x22 #x4F)     ; \e$(G"O\e(B
+    (chinese-gb2312    #x21 #x5F)      ; 
+    (japanese-jisx0208 #x22 #x68)      ; 
+    (korean-ksc5601    #x21 #x71)      ; 
+    (chinese-cns11643-1 #x22 #x4F)     ; 
     ))
 (define-char
   '((name              . "RATIO")
     (general-category  symbol math) ; Informative Category
     (bidi-category     . "ON")
     (mirrored          . nil)
-    (chinese-gb2312    #x21 #x43)      ; \e$(A!C\e(B
+    (chinese-gb2312    #x21 #x43)      ; 
     ))
 (define-char
   '((name              . "PROPORTION")
     (general-category  symbol math) ; Informative Category
     (bidi-category     . "ON")
     (mirrored          . nil)
-    (chinese-gb2312    #x21 #x4B)      ; \e$(A!K\e(B
+    (chinese-gb2312    #x21 #x4B)      ; 
     ))
 (define-char
   '((name              . "DOT MINUS")
     (general-category  symbol math) ; Informative Category
     (bidi-category     . "ON")
     (mirrored          . t)
-    (korean-ksc5601    #x21 #x2D)      ; \e$(C!-\e(B
+    (korean-ksc5601    #x21 #x2D)      ; 
     ))
 (define-char
   '((name              . "REVERSED TILDE")
     (bidi-category     . "ON")
     (mirrored          . t)
     (iso-10646-comment . "lazy S")
-    (chinese-gb2312    #x21 #x57)      ; \e$(A!W\e(B
-    (japanese-jisx0208 #x22 #x66)      ; \e$(B"f\e(B
-    (korean-ksc5601    #x21 #x6F)      ; \e$(C!o\e(B
+    (chinese-gb2312    #x21 #x57)      ; 
+    (japanese-jisx0208 #x22 #x66)      ; 
+    (korean-ksc5601    #x21 #x6F)      ; 
     ))
 (define-char
   '((name              . "INVERTED LAZY S")
     (general-category  symbol math) ; Informative Category
     (bidi-category     . "ON")
     (mirrored          . t)
+    (japanese-jisx0213-1       #x22 #x6C)      ; ≃
     ))
 (define-char
   '((name              . "NOT ASYMPTOTICALLY EQUAL TO")
     (general-category  symbol math) ; Informative Category
     (bidi-category     . "ON")
     (mirrored          . t)
+    (japanese-jisx0213-1       #x22 #x6D)      ; ≅
     ))
 (define-char
   '((name              . "APPROXIMATELY BUT NOT ACTUALLY EQUAL TO")
     (general-category  symbol math) ; Informative Category
     (bidi-category     . "ON")
     (mirrored          . t)
-    (chinese-gb2312    #x21 #x56)      ; \e$(A!V\e(B
+    (chinese-gb2312            #x21 #x56)      ; 
+    (japanese-jisx0213-1       #x22 #x6E)      ; ≈
     ))
 (define-char
   '((name              . "NOT ALMOST EQUAL TO")
     (general-category  symbol math) ; Informative Category
     (bidi-category     . "ON")
     (mirrored          . t)
-    (chinese-gb2312    #x21 #x55)      ; \e$(A!U\e(B
+    (chinese-gb2312    #x21 #x55)      ; 
     ))
 (define-char
   '((name              . "EQUIVALENT TO")
     (general-category  symbol math) ; Informative Category
     (bidi-category     . "ON")
     (mirrored          . t)
-    (japanese-jisx0208 #x22 #x62)      ; \e$(B"b\e(B
-    (korean-ksc5601    #x21 #x56)      ; \e$(C!V\e(B
-    (chinese-cns11643-1 #x22 #x3D)     ; \e$(G"=\e(B
+    (japanese-jisx0208 #x22 #x62)      ; 
+    (korean-ksc5601    #x21 #x56)      ; 
+    (chinese-cns11643-1 #x22 #x3D)     ; 
     ))
 (define-char
   '((name              . "IMAGE OF OR APPROXIMATELY EQUAL TO")
     (bidi-category     . "ON")
     (mirrored          . t)
     (->decomposition   #x003D #x0338)
-    (japanese-jisx0208-1978    #x21 #x62)      ; \e$(@!b\e(B
-    (chinese-gb2312            #x21 #x59)      ; \e$(A!Y\e(B
-    (japanese-jisx0208         #x21 #x62)      ; \e$(B!b\e(B
-    (korean-ksc5601            #x21 #x41)      ; \e$(C!A\e(B
-    (chinese-cns11643-1                #x22 #x3B)      ; \e$(G";\e(B
+    (japanese-jisx0208-1978    #x21 #x62)      ; 
+    (chinese-gb2312            #x21 #x59)      ; 
+    (japanese-jisx0208         #x21 #x62)      ; 
+    (korean-ksc5601            #x21 #x41)      ; 
+    (chinese-cns11643-1                #x22 #x3B)      ; 
     ))
 (define-char
   '((name              . "IDENTICAL TO")
     (general-category  symbol math) ; Informative Category
     (bidi-category     . "ON")
     (mirrored          . nil)
-    (chinese-gb2312    #x21 #x54)      ; \e$(A!T\e(B
-    (japanese-jisx0208 #x22 #x61)      ; \e$(B"a\e(B
-    (korean-ksc5601    #x21 #x55)      ; \e$(C!U\e(B
-    (chinese-cns11643-1 #x22 #x3E)     ; \e$(G">\e(B
+    (chinese-gb2312    #x21 #x54)      ; 
+    (japanese-jisx0208 #x22 #x61)      ; 
+    (korean-ksc5601    #x21 #x55)      ; 
+    (chinese-cns11643-1 #x22 #x3E)     ; 
     ))
 (define-char
   '((name              . "NOT IDENTICAL TO")
     (bidi-category     . "ON")
     (mirrored          . t)
     (->decomposition   #x2261 #x0338)
+    (japanese-jisx0213-1       #x22 #x6B)      ; ≢
     ))
 (define-char
   '((name              . "STRICTLY EQUIVALENT TO")
     (general-category  symbol math) ; Informative Category
     (bidi-category     . "ON")
     (mirrored          . t)
-    (chinese-gb2312    #x21 #x5C)      ; \e$(A!\\e(B
-    (korean-ksc5601    #x21 #x42)      ; \e$(C!B\e(B
+    (chinese-gb2312    #x21 #x5C)      ; 
+    (korean-ksc5601    #x21 #x42)      ; 
     ))
 (define-char
   '((name              . "GREATER-THAN OR EQUAL TO")
     (general-category  symbol math) ; Informative Category
     (bidi-category     . "ON")
     (mirrored          . t)
-    (chinese-gb2312    #x21 #x5D)      ; \e$(A!]\e(B
-    (korean-ksc5601    #x21 #x43)      ; \e$(C!C\e(B
+    (chinese-gb2312    #x21 #x5D)      ; 
+    (korean-ksc5601    #x21 #x43)      ; 
     ))
 (define-char
   '((name              . "LESS-THAN OVER EQUAL TO")
     (general-category  symbol math) ; Informative Category
     (bidi-category     . "ON")
     (mirrored          . t)
-    (japanese-jisx0208-1978    #x21 #x65)      ; \e$(@!e\e(B
-    (japanese-jisx0208         #x21 #x65)      ; \e$(B!e\e(B
-    (chinese-cns11643-1                #x22 #x39)      ; \e$(G"9\e(B
+    (japanese-jisx0208-1978    #x21 #x65)      ; 
+    (japanese-jisx0208         #x21 #x65)      ; 
+    (chinese-cns11643-1                #x22 #x39)      ; 
     ))
 (define-char
   '((name              . "GREATER-THAN OVER EQUAL TO")
     (general-category  symbol math) ; Informative Category
     (bidi-category     . "ON")
     (mirrored          . t)
-    (japanese-jisx0208-1978    #x21 #x66)      ; \e$(@!f\e(B
-    (japanese-jisx0208         #x21 #x66)      ; \e$(B!f\e(B
-    (chinese-cns11643-1                #x22 #x3A)      ; \e$(G":\e(B
+    (japanese-jisx0208-1978    #x21 #x66)      ; 
+    (japanese-jisx0208         #x21 #x66)      ; 
+    (chinese-cns11643-1                #x22 #x3A)      ; 
     ))
 (define-char
   '((name              . "LESS-THAN BUT NOT EQUAL TO")
     (general-category  symbol math) ; Informative Category
     (bidi-category     . "ON")
     (mirrored          . t)
-    (japanese-jisx0208 #x22 #x63)      ; \e$(B"c\e(B
-    (korean-ksc5601    #x21 #x6C)      ; \e$(C!l\e(B
+    (japanese-jisx0208 #x22 #x63)      ; 
+    (korean-ksc5601    #x21 #x6C)      ; 
     ))
 (define-char
   '((name              . "MUCH GREATER-THAN")
     (general-category  symbol math) ; Informative Category
     (bidi-category     . "ON")
     (mirrored          . t)
-    (japanese-jisx0208 #x22 #x64)      ; \e$(B"d\e(B
-    (korean-ksc5601    #x21 #x6D)      ; \e$(C!m\e(B
+    (japanese-jisx0208 #x22 #x64)      ; 
+    (korean-ksc5601    #x21 #x6D)      ; 
     ))
 (define-char
   '((name              . "BETWEEN")
     (bidi-category     . "ON")
     (mirrored          . t)
     (->decomposition   #x003C #x0338)
-    (chinese-gb2312    #x21 #x5A)      ; \e$(A!Z\e(B
+    (chinese-gb2312    #x21 #x5A)      ; 
     ))
 (define-char
   '((name              . "NOT GREATER-THAN")
     (bidi-category     . "ON")
     (mirrored          . t)
     (->decomposition   #x003E #x0338)
-    (chinese-gb2312    #x21 #x5B)      ; \e$(A![\e(B
+    (chinese-gb2312    #x21 #x5B)      ; 
     ))
 (define-char
   '((name              . "NEITHER LESS-THAN NOR EQUAL TO")
     (general-category  symbol math) ; Informative Category
     (bidi-category     . "ON")
     (mirrored          . t)
+    (japanese-jisx0213-1       #x22 #x6F)      ; ≶
     ))
 (define-char
   '((name              . "GREATER-THAN OR LESS-THAN")
     (general-category  symbol math) ; Informative Category
     (bidi-category     . "ON")
     (mirrored          . t)
+    (japanese-jisx0213-1       #x22 #x70)      ; ≷
     ))
 (define-char
   '((name              . "NEITHER LESS-THAN NOR GREATER-THAN")
     (general-category  symbol math) ; Informative Category
     (bidi-category     . "ON")
     (mirrored          . t)
-    (japanese-jisx0208 #x22 #x3E)      ; \e$(B">\e(B
-    (korean-ksc5601    #x21 #x78)      ; \e$(C!x\e(B
+    (japanese-jisx0208 #x22 #x3E)      ; 
+    (korean-ksc5601    #x21 #x78)      ; 
     ))
 (define-char
   '((name              . "SUPERSET OF")
     (general-category  symbol math) ; Informative Category
     (bidi-category     . "ON")
     (mirrored          . t)
-    (japanese-jisx0208 #x22 #x3F)      ; \e$(B"?\e(B
-    (korean-ksc5601    #x21 #x79)      ; \e$(C!y\e(B
+    (japanese-jisx0208 #x22 #x3F)      ; 
+    (korean-ksc5601    #x21 #x79)      ; 
     ))
 (define-char
   '((name              . "NOT A SUBSET OF")
     (bidi-category     . "ON")
     (mirrored          . t)
     (->decomposition   #x2282 #x0338)
+    (japanese-jisx0213-1       #x22 #x42)      ; ⊄
     ))
 (define-char
   '((name              . "NOT A SUPERSET OF")
     (bidi-category     . "ON")
     (mirrored          . t)
     (->decomposition   #x2283 #x0338)
+    (japanese-jisx0213-1       #x22 #x43)      ; ⊅
     ))
 (define-char
   '((name              . "SUBSET OF OR EQUAL TO")
     (general-category  symbol math) ; Informative Category
     (bidi-category     . "ON")
     (mirrored          . t)
-    (japanese-jisx0208 #x22 #x3C)      ; \e$(B"<\e(B
-    (korean-ksc5601    #x21 #x76)      ; \e$(C!v\e(B
+    (japanese-jisx0208 #x22 #x3C)      ; 
+    (korean-ksc5601    #x21 #x76)      ; 
     ))
 (define-char
   '((name              . "SUPERSET OF OR EQUAL TO")
     (general-category  symbol math) ; Informative Category
     (bidi-category     . "ON")
     (mirrored          . t)
-    (japanese-jisx0208 #x22 #x3D)      ; \e$(B"=\e(B
-    (korean-ksc5601    #x21 #x77)      ; \e$(C!w\e(B
+    (japanese-jisx0208 #x22 #x3D)      ; 
+    (korean-ksc5601    #x21 #x77)      ; 
     ))
 (define-char
   '((name              . "NEITHER A SUBSET OF NOR EQUAL TO")
     (general-category  symbol math) ; Informative Category
     (bidi-category     . "ON")
     (mirrored          . t)
+    (japanese-jisx0213-1       #x22 #x44)      ; ⊊
     ))
 (define-char
   '((name              . "SUPERSET OF WITH NOT EQUAL TO")
     (general-category  symbol math) ; Informative Category
     (bidi-category     . "ON")
     (mirrored          . t)
+    (japanese-jisx0213-1       #x22 #x45)      ; ⊋
     ))
 (define-char
   '((name              . "MULTISET")
     (general-category  symbol math) ; Informative Category
     (bidi-category     . "ON")
     (mirrored          . nil)
-    (chinese-cns11643-1 #x22 #x53)     ; \e$(G"S\e(B
+    (chinese-cns11643-1                #x22 #x53)      ; 
+    (japanese-jisx0213-1       #x22 #x51)      ; ⊕
     ))
 (define-char
   '((name              . "CIRCLED MINUS")
     (general-category  symbol math) ; Informative Category
     (bidi-category     . "ON")
     (mirrored          . nil)
+    (japanese-jisx0213-1       #x22 #x52)      ; ⊖
     ))
 (define-char
   '((name              . "CIRCLED TIMES")
     (general-category  symbol math) ; Informative Category
     (bidi-category     . "ON")
     (mirrored          . nil)
+    (japanese-jisx0213-1       #x22 #x53)      ; ⊗
     ))
 (define-char
   '((name              . "CIRCLED DIVISION SLASH")
     (general-category  symbol math) ; Informative Category
     (bidi-category     . "ON")
     (mirrored          . nil)
-    (chinese-gb2312    #x21 #x51)      ; \e$(A!Q\e(B
-    (korean-ksc5601    #x22 #x41)      ; \e$(C"A\e(B
-    (chinese-cns11643-1 #x22 #x54)     ; \e$(G"T\e(B
+    (chinese-gb2312    #x21 #x51)      ; 
+    (korean-ksc5601    #x22 #x41)      ; 
+    (chinese-cns11643-1 #x22 #x54)     ; 
     ))
 (define-char
   '((name              . "CIRCLED RING OPERATOR")
     (general-category  symbol math) ; Informative Category
     (bidi-category     . "ON")
     (mirrored          . nil)
-    (chinese-gb2312    #x21 #x4D)      ; \e$(A!M\e(B
-    (japanese-jisx0208 #x22 #x5D)      ; \e$(B"]\e(B
-    (korean-ksc5601    #x21 #x51)      ; \e$(C!Q\e(B
-    (chinese-cns11643-1 #x22 #x47)     ; \e$(G"G\e(B
+    (chinese-gb2312    #x21 #x4D)      ; 
+    (japanese-jisx0208 #x22 #x5D)      ; 
+    (korean-ksc5601    #x21 #x51)      ; 
+    (chinese-cns11643-1 #x22 #x47)     ; 
     ))
 (define-char
   '((name              . "ASSERTION")
     (general-category  symbol math) ; Informative Category
     (bidi-category     . "ON")
     (mirrored          . t)
-    (chinese-cns11643-1 #x22 #x4A)     ; \e$(G"J\e(B
+    (chinese-cns11643-1                #x22 #x4A)      ; 
+    (japanese-jisx0213-1       #x2D #x79)      ; ⊿
     ))
 (define-char
   '((name              . "N-ARY LOGICAL AND")
     (general-category  symbol math) ; Informative Category
     (bidi-category     . "ON")
     (mirrored          . t)
+    (japanese-jisx0213-1       #x27 #x76)      ; ⋚
     ))
 (define-char
   '((name              . "GREATER-THAN EQUAL TO OR LESS-THAN")
     (general-category  symbol math) ; Informative Category
     (bidi-category     . "ON")
     (mirrored          . t)
+    (japanese-jisx0213-1       #x27 #x77)      ; ⋛
     ))
 (define-char
   '((name              . "EQUAL TO OR LESS-THAN")