From bc4747d0e6aafd7130928a517142f7002feed982 Mon Sep 17 00:00:00 2001 From: tomo Date: Thu, 26 Jan 2006 20:04:53 +0000 Subject: [PATCH] Reformatted. --- lisp/utf-2000/u02200-Mathematical-Operators.el | 460 ++++++++++++------------ 1 file changed, 230 insertions(+), 230 deletions(-) diff --git a/lisp/utf-2000/u02200-Mathematical-Operators.el b/lisp/utf-2000/u02200-Mathematical-Operators.el index 570a049..ee661d6 100644 --- a/lisp/utf-2000/u02200-Mathematical-Operators.el +++ b/lisp/utf-2000/u02200-Mathematical-Operators.el @@ -11,16 +11,16 @@ ((name . "FOR ALL") (=ucs . #x2200) ; ∀ )) - (<-fullwidth - ((name . "FOR ALL") - (=ucs . #x2200) ; ∀ - )) (=jis-x0208@1983 . #x224F) ; &J90-224F; [02-47] (=ks-x1001 . #x2223) ; &I-K0-2223; [02-03] (=jis-x0208@1990 . #x224F) ; &I-J90-224F; [02-47] (=jef-china3 . #x7FDC) ; &I-JC3-7FDC; (=ucs@jis . #x2200) ; &J90-224F; (=ucs@ks . #x2200) ; &J90-224F; + (<-fullwidth + ((name . "FOR ALL") + (=ucs . #x2200) ; ∀ + )) )) (define-char '((name . "COMPLEMENT") @@ -41,16 +41,16 @@ ((name . "PARTIAL DIFFERENTIAL") (=ucs . #x2202) ; ∂ )) - (<-fullwidth - ((name . "PARTIAL DIFFERENTIAL") - (=ucs . #x2202) ; ∂ - )) (=jis-x0208@1983 . #x225F) ; &J90-225F; [02-63] (=ks-x1001 . #x2153) ; &I-K0-2153; [01-51] (=jis-x0208@1990 . #x225F) ; &I-J90-225F; [02-63] (=jef-china3 . #x7FE1) ; &I-JC3-7FE1; (=ucs@jis . #x2202) ; &J90-225F; (=ucs@ks . #x2202) ; &J90-225F; + (<-fullwidth + ((name . "PARTIAL DIFFERENTIAL") + (=ucs . #x2202) ; ∂ + )) )) (define-char '((name . "THERE EXISTS") @@ -64,16 +64,16 @@ ((name . "THERE EXISTS") (=ucs . #x2203) ; ∃ )) - (<-fullwidth - ((name . "THERE EXISTS") - (=ucs . #x2203) ; ∃ - )) (=jis-x0208@1983 . #x2250) ; &J90-2250; [02-48] (=ks-x1001 . #x2224) ; &I-K0-2224; [02-04] (=jis-x0208@1990 . #x2250) ; &I-J90-2250; [02-48] (=jef-china3 . #x7FDD) ; &I-JC3-7FDD; (=ucs@jis . #x2203) ; &J90-2250; (=ucs@ks . #x2203) ; &J90-2250; + (<-fullwidth + ((name . "THERE EXISTS") + (=ucs . #x2203) ; ∃ + )) )) (define-char '((name . "THERE DOES NOT EXIST") @@ -101,12 +101,12 @@ ((name . "EMPTY SET") (=ucs . #x2205) ; ∅ )) + (=jis-x0213-1-2000 . #x2247) ; &JX1-2247; [02-39] + (=ucs@jis . #x2205) ; &JX1-2247; (<-fullwidth ((name . "EMPTY SET") (=ucs . #x2205) ; ∅ )) - (=jis-x0213-1-2000 . #x2247) ; &JX1-2247; [02-39] - (=ucs@jis . #x2205) ; &JX1-2247; )) (define-char '((name . "INCREMENT") @@ -127,16 +127,16 @@ ((name . "NABLA") (=ucs . #x2207) ; ∇ )) - (<-fullwidth - ((name . "NABLA") - (=ucs . #x2207) ; ∇ - )) (=jis-x0208@1983 . #x2260) ; &J90-2260; [02-64] (=ks-x1001 . #x2154) ; &I-K0-2154; [01-52] (=jis-x0208@1990 . #x2260) ; &I-J90-2260; [02-64] (=jef-china3 . #x7FE2) ; &I-JC3-7FE2; (=ucs@jis . #x2207) ; &J90-2260; (=ucs@ks . #x2207) ; &J90-2260; + (<-fullwidth + ((name . "NABLA") + (=ucs . #x2207) ; ∇ + )) )) (define-char '((name . "ELEMENT OF") @@ -150,10 +150,6 @@ ((name . "ELEMENT OF") (=ucs . #x2208) ; ∈ )) - (<-fullwidth - ((name . "ELEMENT OF") - (=ucs . #x2208) ; ∈ - )) (=gb2312 . #x214A) ; &J90-223A; [01-42] (=jis-x0208@1983 . #x223A) ; &I-J83-223A; [02-26] (=ks-x1001 . #x2174) ; &I-K0-2174; [01-84] @@ -162,6 +158,10 @@ (=ucs@gb . #x2208) ; &J90-223A; (=ucs@jis . #x2208) ; &J90-223A; (=ucs@ks . #x2208) ; &J90-223A; + (<-fullwidth + ((name . "ELEMENT OF") + (=ucs . #x2208) ; ∈ + )) )) (define-char '((name . "NOT AN ELEMENT OF") @@ -182,12 +182,12 @@ ((name . "NOT AN ELEMENT OF") (=ucs . #x2209) ; ∉ )) + (=jis-x0213-1-2000 . #x2246) ; &JX1-2246; [02-38] + (=ucs@jis . #x2209) ; &JX1-2246; (<-fullwidth ((name . "NOT AN ELEMENT OF") (=ucs . #x2209) ; ∉ )) - (=jis-x0213-1-2000 . #x2246) ; &JX1-2246; [02-38] - (=ucs@jis . #x2209) ; &JX1-2246; )) (define-char '((name . "SMALL ELEMENT OF") @@ -208,16 +208,16 @@ ((name . "CONTAINS AS MEMBER") (=ucs . #x220B) ; ∋ )) - (<-fullwidth - ((name . "CONTAINS AS MEMBER") - (=ucs . #x220B) ; ∋ - )) (=jis-x0208@1983 . #x223B) ; &J90-223B; [02-27] (=ks-x1001 . #x2175) ; &I-K0-2175; [01-85] (=jis-x0208@1990 . #x223B) ; &I-J90-223B; [02-27] (=jef-china3 . #x7FD1) ; &I-JC3-7FD1; (=ucs@jis . #x220B) ; &J90-223B; (=ucs@ks . #x220B) ; &J90-223B; + (<-fullwidth + ((name . "CONTAINS AS MEMBER") + (=ucs . #x220B) ; ∋ + )) )) (define-char '((name . "DOES NOT CONTAIN AS MEMBER") @@ -259,14 +259,14 @@ ((name . "N-ARY PRODUCT") (=ucs . #x220F) ; ∏ )) - (<-fullwidth - ((name . "N-ARY PRODUCT") - (=ucs . #x220F) ; ∏ - )) (=gb2312 . #x2147) ; &K0-2233; [01-39] (=ks-x1001 . #x2233) ; &I-K0-2233; [02-19] (=ucs@gb . #x220F) ; &K0-2233; (=ucs@ks . #x220F) ; &K0-2233; + (<-fullwidth + ((name . "N-ARY PRODUCT") + (=ucs . #x220F) ; ∏ + )) )) (define-char '((name . "N-ARY COPRODUCT") @@ -287,14 +287,14 @@ ((name . "N-ARY SUMMATION") (=ucs . #x2211) ; ∑ )) - (<-fullwidth - ((name . "N-ARY SUMMATION") - (=ucs . #x2211) ; ∑ - )) (=gb2312 . #x2146) ; &K0-2232; [01-38] (=ks-x1001 . #x2232) ; &I-K0-2232; [02-18] (=ucs@gb . #x2211) ; &K0-2232; (=ucs@ks . #x2211) ; &K0-2232; + (<-fullwidth + ((name . "N-ARY SUMMATION") + (=ucs . #x2211) ; ∑ + )) )) (define-char '((name . "MINUS SIGN") @@ -308,12 +308,12 @@ ((name . "MINUS SIGN") (=ucs . #x2212) ; − )) + (=jis-x0208 . #x215D) ; &J90-215D; [01-61] + (=ucs@jis . #x2212) ; &J90-215D; (<-fullwidth ((name . "MINUS SIGN") (=ucs . #x2212) ; − )) - (=jis-x0208 . #x215D) ; &J90-215D; [01-61] - (=ucs@jis . #x2212) ; &J90-215D; )) (define-char '((name . "MINUS-OR-PLUS SIGN") @@ -327,12 +327,12 @@ ((name . "MINUS-OR-PLUS SIGN") (=ucs . #x2213) ; ∓ )) + (=jis-x0213-1-2000 . #x235B) ; &JX1-235B; [03-59] + (=ucs@jis . #x2213) ; &JX1-235B; (<-fullwidth ((name . "MINUS-OR-PLUS SIGN") (=ucs . #x2213) ; ∓ )) - (=jis-x0213-1-2000 . #x235B) ; &JX1-235B; [03-59] - (=ucs@jis . #x2213) ; &JX1-235B; )) (define-char '((name . "DOT PLUS") @@ -353,14 +353,14 @@ ((name . "DIVISION SLASH") (=ucs . #x2215) ; ∕ )) - (<-fullwidth - ((name . "DIVISION SLASH") - (=ucs . #x2215) ; ∕ - )) (=cns11643-1 . #x2261) ; &C1-2261; [02-65] (=big5 . #xA241) ; &I-B-A241; (=ucs@cns . #x2215) ; &C1-2261; (=ucs@big5 . #x2215) ; &C1-2261; + (<-fullwidth + ((name . "DIVISION SLASH") + (=ucs . #x2215) ; ∕ + )) )) (define-char '((name . "SET MINUS") @@ -402,10 +402,6 @@ ((name . "SQUARE ROOT") (=ucs . #x221A) ; √ )) - (<-fullwidth - ((name . "SQUARE ROOT") - (=ucs . #x221A) ; √ - )) (=gb2312 . #x214C) ; &J90-2265; [01-44] (=jis-x0208@1983 . #x2265) ; &I-J83-2265; [02-69] (=ks-x1001 . #x216E) ; &I-K0-216E; [01-78] @@ -417,6 +413,10 @@ (=ucs@jis . #x221A) ; &J90-2265; (=ucs@ks . #x221A) ; &J90-2265; (=ucs@big5 . #x221A) ; &J90-2265; + (<-fullwidth + ((name . "SQUARE ROOT") + (=ucs . #x221A) ; √ + )) )) (define-char '((name . "CUBE ROOT") @@ -444,10 +444,6 @@ ((name . "PROPORTIONAL TO") (=ucs . #x221D) ; ∝ )) - (<-fullwidth - ((name . "PROPORTIONAL TO") - (=ucs . #x221D) ; ∝ - )) (=gb2312 . #x2158) ; &J90-2267; [01-56] (=jis-x0208@1983 . #x2267) ; &I-J83-2267; [02-71] (=ks-x1001 . #x2170) ; &I-K0-2170; [01-80] @@ -456,6 +452,10 @@ (=ucs@gb . #x221D) ; &J90-2267; (=ucs@jis . #x221D) ; &J90-2267; (=ucs@ks . #x221D) ; &J90-2267; + (<-fullwidth + ((name . "PROPORTIONAL TO") + (=ucs . #x221D) ; ∝ + )) )) (define-char '((name . "INFINITY") @@ -469,10 +469,6 @@ ((name . "INFINITY") (=ucs . #x221E) ; ∞ )) - (<-fullwidth - ((name . "INFINITY") - (=ucs . #x221E) ; ∞ - )) (=jis-x0208 . #x2167) ; &J90-2167; [01-71] (=gb2312 . #x215E) ; &I-G0-215E; [01-62] (=ks-x1001 . #x2144) ; &I-K0-2144; [01-36] @@ -483,6 +479,10 @@ (=ucs@jis . #x221E) ; &J90-2167; (=ucs@ks . #x221E) ; &J90-2167; (=ucs@big5 . #x221E) ; &J90-2167; + (<-fullwidth + ((name . "INFINITY") + (=ucs . #x221E) ; ∞ + )) )) (define-char '((name . "RIGHT ANGLE") @@ -496,16 +496,16 @@ ((name . "RIGHT ANGLE") (=ucs . #x221F) ; ∟ )) - (<-fullwidth - ((name . "RIGHT ANGLE") - (=ucs . #x221F) ; ∟ - )) (=cns11643-1 . #x2249) ; &JX1-2D78; [02-41] (=jis-x0213-1-2000 . #x2D78) ; &I-JX1-2D78; [13-88] (=big5 . #xA1E8) ; &I-B-A1E8; (=ucs@cns . #x221F) ; &JX1-2D78; (=ucs@jis . #x221F) ; &JX1-2D78; (=ucs@big5 . #x221F) ; &JX1-2D78; + (<-fullwidth + ((name . "RIGHT ANGLE") + (=ucs . #x221F) ; ∟ + )) )) (define-char '((name . "ANGLE") @@ -519,10 +519,6 @@ ((name . "ANGLE") (=ucs . #x2220) ; ∠ )) - (<-fullwidth - ((name . "ANGLE") - (=ucs . #x2220) ; ∠ - )) (=gb2312 . #x214F) ; &J90-225C; [01-47] (=jis-x0208@1983 . #x225C) ; &I-J83-225C; [02-60] (=ks-x1001 . #x2150) ; &I-K0-2150; [01-48] @@ -535,6 +531,10 @@ (=ucs@jis . #x2220) ; &J90-225C; (=ucs@ks . #x2220) ; &J90-225C; (=ucs@big5 . #x2220) ; &J90-225C; + (<-fullwidth + ((name . "ANGLE") + (=ucs . #x2220) ; ∠ + )) )) (define-char '((name . "MEASURED ANGLE") @@ -562,12 +562,12 @@ ((name . "DIVIDES") (=ucs . #x2223) ; ∣ )) + (=big5 . #xA1FD) ; &B-A1FD; + (=ucs@big5 . #x2223) ; &B-A1FD; (<-fullwidth ((name . "DIVIDES") (=ucs . #x2223) ; ∣ )) - (=big5 . #xA1FD) ; &B-A1FD; - (=ucs@big5 . #x2223) ; &B-A1FD; )) (define-char '((name . "DOES NOT DIVIDE") @@ -595,10 +595,6 @@ ((name . "PARALLEL TO") (=ucs . #x2225) ; ∥ )) - (<-fullwidth - ((name . "PARALLEL TO") - (=ucs . #x2225) ; ∥ - )) (=gb2312 . #x214E) ; &JX1-2254; [01-46] (=ks-x1001 . #x212B) ; &I-K0-212B; [01-11] (=jis-x0213-1-2000 . #x2254) ; &I-JX1-2254; [02-52] @@ -607,6 +603,10 @@ (=ucs@jis . #x2225) ; &JX1-2254; (=ucs@ks . #x2225) ; &JX1-2254; (=ucs@big5 . #x2225) ; &JX1-2254; + (<-fullwidth + ((name . "PARALLEL TO") + (=ucs . #x2225) ; ∥ + )) )) (define-char '((name . "NOT PARALLEL TO") @@ -627,12 +627,12 @@ ((name . "NOT PARALLEL TO") (=ucs . #x2226) ; ∦ )) + (=jis-x0213-1-2000 . #x2255) ; &JX1-2255; [02-53] + (=ucs@jis . #x2226) ; &JX1-2255; (<-fullwidth ((name . "NOT PARALLEL TO") (=ucs . #x2226) ; ∦ )) - (=jis-x0213-1-2000 . #x2255) ; &JX1-2255; [02-53] - (=ucs@jis . #x2226) ; &JX1-2255; )) (define-char '((name . "LOGICAL AND") @@ -646,10 +646,6 @@ ((name . "LOGICAL AND") (=ucs . #x2227) ; ∧ )) - (<-fullwidth - ((name . "LOGICAL AND") - (=ucs . #x2227) ; ∧ - )) (=gb2312 . #x2144) ; &J90-224A; [01-36] (=jis-x0208@1983 . #x224A) ; &I-J83-224A; [02-42] (=ks-x1001 . #x217C) ; &I-K0-217C; [01-92] @@ -658,6 +654,10 @@ (=ucs@gb . #x2227) ; &J90-224A; (=ucs@jis . #x2227) ; &J90-224A; (=ucs@ks . #x2227) ; &J90-224A; + (<-fullwidth + ((name . "LOGICAL AND") + (=ucs . #x2227) ; ∧ + )) )) (define-char '((name . "LOGICAL OR") @@ -671,10 +671,6 @@ ((name . "LOGICAL OR") (=ucs . #x2228) ; ∨ )) - (<-fullwidth - ((name . "LOGICAL OR") - (=ucs . #x2228) ; ∨ - )) (=gb2312 . #x2145) ; &J90-224B; [01-37] (=jis-x0208@1983 . #x224B) ; &I-J83-224B; [02-43] (=ks-x1001 . #x217D) ; &I-K0-217D; [01-93] @@ -683,6 +679,10 @@ (=ucs@gb . #x2228) ; &J90-224B; (=ucs@jis . #x2228) ; &J90-224B; (=ucs@ks . #x2228) ; &J90-224B; + (<-fullwidth + ((name . "LOGICAL OR") + (=ucs . #x2228) ; ∨ + )) )) (define-char '((name . "INTERSECTION") @@ -696,10 +696,6 @@ ((name . "INTERSECTION") (=ucs . #x2229) ; ∩ )) - (<-fullwidth - ((name . "INTERSECTION") - (=ucs . #x2229) ; ∩ - )) (=gb2312 . #x2149) ; &J90-2241; [01-41] (=jis-x0208@1983 . #x2241) ; &I-J83-2241; [02-33] (=ks-x1001 . #x217B) ; &I-K0-217B; [01-91] @@ -712,6 +708,10 @@ (=ucs@jis . #x2229) ; &J90-2241; (=ucs@ks . #x2229) ; &J90-2241; (=ucs@big5 . #x2229) ; &J90-2241; + (<-fullwidth + ((name . "INTERSECTION") + (=ucs . #x2229) ; ∩ + )) )) (define-char '((name . "UNION") @@ -725,10 +725,6 @@ ((name . "UNION") (=ucs . #x222A) ; ∪ )) - (<-fullwidth - ((name . "UNION") - (=ucs . #x222A) ; ∪ - )) (=gb2312 . #x2148) ; &J90-2240; [01-40] (=jis-x0208@1983 . #x2240) ; &I-J83-2240; [02-32] (=ks-x1001 . #x217A) ; &I-K0-217A; [01-90] @@ -741,6 +737,10 @@ (=ucs@jis . #x222A) ; &J90-2240; (=ucs@ks . #x222A) ; &J90-2240; (=ucs@big5 . #x222A) ; &J90-2240; + (<-fullwidth + ((name . "UNION") + (=ucs . #x222A) ; ∪ + )) )) (define-char '((name . "INTEGRAL") @@ -754,10 +754,6 @@ ((name . "INTEGRAL") (=ucs . #x222B) ; ∫ )) - (<-fullwidth - ((name . "INTEGRAL") - (=ucs . #x222B) ; ∫ - )) (=gb2312 . #x2152) ; &J90-2269; [01-50] (=jis-x0208@1983 . #x2269) ; &I-J83-2269; [02-73] (=ks-x1001 . #x2172) ; &I-K0-2172; [01-82] @@ -770,6 +766,10 @@ (=ucs@jis . #x222B) ; &J90-2269; (=ucs@ks . #x222B) ; &J90-2269; (=ucs@big5 . #x222B) ; &J90-2269; + (<-fullwidth + ((name . "INTEGRAL") + (=ucs . #x222B) ; ∫ + )) )) (define-char '((name . "DOUBLE INTEGRAL") @@ -790,16 +790,16 @@ ((name . "DOUBLE INTEGRAL") (=ucs . #x222C) ; ∬ )) - (<-fullwidth - ((name . "DOUBLE INTEGRAL") - (=ucs . #x222C) ; ∬ - )) (=jis-x0208@1983 . #x226A) ; &J90-226A; [02-74] (=ks-x1001 . #x2173) ; &I-K0-2173; [01-83] (=jis-x0208@1990 . #x226A) ; &I-J90-226A; [02-74] (=jef-china3 . #x7FE9) ; &I-JC3-7FE9; (=ucs@jis . #x222C) ; &J90-226A; (=ucs@ks . #x222C) ; &J90-226A; + (<-fullwidth + ((name . "DOUBLE INTEGRAL") + (=ucs . #x222C) ; ∬ + )) )) (define-char '((name . "TRIPLE INTEGRAL") @@ -830,10 +830,6 @@ ((name . "CONTOUR INTEGRAL") (=ucs . #x222E) ; ∮ )) - (<-fullwidth - ((name . "CONTOUR INTEGRAL") - (=ucs . #x222E) ; ∮ - )) (=gb2312 . #x2153) ; &JX1-2D73; [01-51] (=ks-x1001 . #x2231) ; &I-K0-2231; [02-17] (=cns11643-1 . #x224E) ; &I-C1-224E; [02-46] @@ -844,6 +840,10 @@ (=ucs@jis . #x222E) ; &JX1-2D73; (=ucs@ks . #x222E) ; &JX1-2D73; (=ucs@big5 . #x222E) ; &JX1-2D73; + (<-fullwidth + ((name . "CONTOUR INTEGRAL") + (=ucs . #x222E) ; ∮ + )) )) (define-char '((name . "SURFACE INTEGRAL") @@ -909,10 +909,6 @@ ((name . "THEREFORE") (=ucs . #x2234) ; ∴ )) - (<-fullwidth - ((name . "THEREFORE") - (=ucs . #x2234) ; ∴ - )) (=jis-x0208 . #x2168) ; &J90-2168; [01-72] (=gb2312 . #x2160) ; &I-G0-2160; [01-64] (=ks-x1001 . #x2145) ; &I-K0-2145; [01-37] @@ -923,6 +919,10 @@ (=ucs@jis . #x2234) ; &J90-2168; (=ucs@ks . #x2234) ; &J90-2168; (=ucs@big5 . #x2234) ; &J90-2168; + (<-fullwidth + ((name . "THEREFORE") + (=ucs . #x2234) ; ∴ + )) )) (define-char '((name . "BECAUSE") @@ -936,10 +936,6 @@ ((name . "BECAUSE") (=ucs . #x2235) ; ∵ )) - (<-fullwidth - ((name . "BECAUSE") - (=ucs . #x2235) ; ∵ - )) (=gb2312 . #x215F) ; &J90-2268; [01-63] (=jis-x0208@1983 . #x2268) ; &I-J83-2268; [02-72] (=ks-x1001 . #x2171) ; &I-K0-2171; [01-81] @@ -951,6 +947,10 @@ (=ucs@jis . #x2235) ; &J90-2268; (=ucs@ks . #x2235) ; &J90-2268; (=ucs@big5 . #x2235) ; &J90-2268; + (<-fullwidth + ((name . "BECAUSE") + (=ucs . #x2235) ; ∵ + )) )) (define-char '((name . "RATIO") @@ -964,12 +964,12 @@ ((name . "RATIO") (=ucs . #x2236) ; ∶ )) + (=gb2312 . #x2143) ; &G0-2143; [01-35] + (=ucs@gb . #x2236) ; &G0-2143; (<-fullwidth ((name . "RATIO") (=ucs . #x2236) ; ∶ )) - (=gb2312 . #x2143) ; &G0-2143; [01-35] - (=ucs@gb . #x2236) ; &G0-2143; )) (define-char '((name . "PROPORTION") @@ -983,12 +983,12 @@ ((name . "PROPORTION") (=ucs . #x2237) ; ∷ )) + (=gb2312 . #x214B) ; &G0-214B; [01-43] + (=ucs@gb . #x2237) ; &G0-214B; (<-fullwidth ((name . "PROPORTION") (=ucs . #x2237) ; ∷ )) - (=gb2312 . #x214B) ; &G0-214B; [01-43] - (=ucs@gb . #x2237) ; &G0-214B; )) (define-char '((name . "DOT MINUS") @@ -1030,16 +1030,16 @@ ((name . "TILDE OPERATOR") (=ucs . #x223C) ; ∼ )) - (<-fullwidth - ((name . "TILDE OPERATOR") - (=ucs . #x223C) ; ∼ - )) (=ks-x1001 . #x212D) ; &C1-2244; [01-13] (=cns11643-1 . #x2244) ; &I-C1-2244; [02-36] (=big5 . #xA1E3) ; &I-B-A1E3; (=ucs@cns . #xFF5E) ; &C1-2244; (=ucs@ks . #x223C) ; &C1-2244; (=ucs@big5 . #xFF5E) ; &C1-2244; + (<-fullwidth + ((name . "TILDE OPERATOR") + (=ucs . #x223C) ; ∼ + )) )) (define-char '((name . "REVERSED TILDE") @@ -1054,10 +1054,6 @@ ((name . "REVERSED TILDE") (=ucs . #x223D) ; ∽ )) - (<-fullwidth - ((name . "REVERSED TILDE") - (=ucs . #x223D) ; ∽ - )) (=gb2312 . #x2157) ; &J90-2266; [01-55] (=jis-x0208@1983 . #x2266) ; &I-J83-2266; [02-70] (=ks-x1001 . #x216F) ; &I-K0-216F; [01-79] @@ -1066,6 +1062,10 @@ (=ucs@gb . #x223D) ; &J90-2266; (=ucs@jis . #x223D) ; &J90-2266; (=ucs@ks . #x223D) ; &J90-2266; + (<-fullwidth + ((name . "REVERSED TILDE") + (=ucs . #x223D) ; ∽ + )) )) (define-char '((name . "INVERTED LAZY S") @@ -1121,12 +1121,12 @@ ((name . "ASYMPTOTICALLY EQUAL TO") (=ucs . #x2243) ; ≃ )) + (=jis-x0213-1-2000 . #x226C) ; &JX1-226C; [02-76] + (=ucs@jis . #x2243) ; &JX1-226C; (<-fullwidth ((name . "ASYMPTOTICALLY EQUAL TO") (=ucs . #x2243) ; ≃ )) - (=jis-x0213-1-2000 . #x226C) ; &JX1-226C; [02-76] - (=ucs@jis . #x2243) ; &JX1-226C; )) (define-char '((name . "NOT ASYMPTOTICALLY EQUAL TO") @@ -1154,12 +1154,12 @@ ((name . "APPROXIMATELY EQUAL TO") (=ucs . #x2245) ; ≅ )) + (=jis-x0213-1-2000 . #x226D) ; &JX1-226D; [02-77] + (=ucs@jis . #x2245) ; &JX1-226D; (<-fullwidth ((name . "APPROXIMATELY EQUAL TO") (=ucs . #x2245) ; ≅ )) - (=jis-x0213-1-2000 . #x226D) ; &JX1-226D; [02-77] - (=ucs@jis . #x2245) ; &JX1-226D; )) (define-char '((name . "APPROXIMATELY BUT NOT ACTUALLY EQUAL TO") @@ -1194,14 +1194,14 @@ ((name . "ALMOST EQUAL TO") (=ucs . #x2248) ; ≈ )) - (<-fullwidth - ((name . "ALMOST EQUAL TO") - (=ucs . #x2248) ; ≈ - )) (=gb2312 . #x2156) ; &JX1-226E; [01-54] (=jis-x0213-1-2000 . #x226E) ; &I-JX1-226E; [02-78] (=ucs@gb . #x2248) ; &JX1-226E; (=ucs@jis . #x2248) ; &JX1-226E; + (<-fullwidth + ((name . "ALMOST EQUAL TO") + (=ucs . #x2248) ; ≈ + )) )) (define-char '((name . "NOT ALMOST EQUAL TO") @@ -1243,12 +1243,12 @@ ((name . "ALL EQUAL TO") (=ucs . #x224C) ; ≌ )) + (=gb2312 . #x2155) ; &G0-2155; [01-53] + (=ucs@gb . #x224C) ; &G0-2155; (<-fullwidth ((name . "ALL EQUAL TO") (=ucs . #x224C) ; ≌ )) - (=gb2312 . #x2155) ; &G0-2155; [01-53] - (=ucs@gb . #x224C) ; &G0-2155; )) (define-char '((name . "EQUIVALENT TO") @@ -1297,10 +1297,6 @@ ((name . "APPROXIMATELY EQUAL TO OR THE IMAGE OF") (=ucs . #x2252) ; ≒ )) - (<-fullwidth - ((name . "APPROXIMATELY EQUAL TO OR THE IMAGE OF") - (=ucs . #x2252) ; ≒ - )) (=jis-x0208@1983 . #x2262) ; &J90-2262; [02-66] (=ks-x1001 . #x2156) ; &I-K0-2156; [01-54] (=jis-x0208@1990 . #x2262) ; &I-J90-2262; [02-66] @@ -1310,6 +1306,10 @@ (=ucs@jis . #x2252) ; &J90-2262; (=ucs@ks . #x2252) ; &J90-2262; (=ucs@big5 . #x2252) ; &J90-2262; + (<-fullwidth + ((name . "APPROXIMATELY EQUAL TO OR THE IMAGE OF") + (=ucs . #x2252) ; ≒ + )) )) (define-char '((name . "IMAGE OF OR APPROXIMATELY EQUAL TO") @@ -1421,10 +1421,6 @@ ((name . "NOT EQUAL TO") (=ucs . #x2260) ; ≠ )) - (<-fullwidth - ((name . "NOT EQUAL TO") - (=ucs . #x2260) ; ≠ - )) (=decomposition ((name . "FULLWIDTH EQUALS SIGN") (=ucs . #xFF1D) ; ＝ @@ -1442,6 +1438,10 @@ (=ucs@jis . #x2260) ; &J90-2162; (=ucs@ks . #x2260) ; &J90-2162; (=ucs@big5 . #x2260) ; &J90-2162; + (<-fullwidth + ((name . "NOT EQUAL TO") + (=ucs . #x2260) ; ≠ + )) )) (define-char '((name . "IDENTICAL TO") @@ -1455,10 +1455,6 @@ ((name . "IDENTICAL TO") (=ucs . #x2261) ; ≡ )) - (<-fullwidth - ((name . "IDENTICAL TO") - (=ucs . #x2261) ; ≡ - )) (=gb2312 . #x2154) ; &J90-2261; [01-52] (=jis-x0208@1983 . #x2261) ; &I-J83-2261; [02-65] (=ks-x1001 . #x2155) ; &I-K0-2155; [01-53] @@ -1470,6 +1466,10 @@ (=ucs@jis . #x2261) ; &J90-2261; (=ucs@ks . #x2261) ; &J90-2261; (=ucs@big5 . #x2261) ; &J90-2261; + (<-fullwidth + ((name . "IDENTICAL TO") + (=ucs . #x2261) ; ≡ + )) )) (define-char '((name . "NOT IDENTICAL TO") @@ -1490,10 +1490,6 @@ ((name . "NOT IDENTICAL TO") (=ucs . #x2262) ; ≢ )) - (<-fullwidth - ((name . "NOT IDENTICAL TO") - (=ucs . #x2262) ; ≢ - )) (=decomposition ((=gb2312 . #x2154) ; &J90-2261; [01-52] (=jis-x0208@1983 . #x2261) ; &I-J83-2261; [02-65] @@ -1505,6 +1501,10 @@ )) (=jis-x0213-1-2000 . #x226B) ; &JX1-226B; [02-75] (=ucs@jis . #x2262) ; &JX1-226B; + (<-fullwidth + ((name . "NOT IDENTICAL TO") + (=ucs . #x2262) ; ≢ + )) )) (define-char '((name . "STRICTLY EQUIVALENT TO") @@ -1525,14 +1525,14 @@ ((name . "LESS-THAN OR EQUAL TO") (=ucs . #x2264) ; ≤ )) - (<-fullwidth - ((name . "LESS-THAN OR EQUAL TO") - (=ucs . #x2264) ; ≤ - )) (=gb2312 . #x215C) ; &K0-2142; [01-60] (=ks-x1001 . #x2142) ; &I-K0-2142; [01-34] (=ucs@gb . #x2264) ; &K0-2142; (=ucs@ks . #x2264) ; &K0-2142; + (<-fullwidth + ((name . "LESS-THAN OR EQUAL TO") + (=ucs . #x2264) ; ≤ + )) )) (define-char '((name . "GREATER-THAN OR EQUAL TO") @@ -1546,14 +1546,14 @@ ((name . "GREATER-THAN OR EQUAL TO") (=ucs . #x2265) ; ≥ )) - (<-fullwidth - ((name . "GREATER-THAN OR EQUAL TO") - (=ucs . #x2265) ; ≥ - )) (=gb2312 . #x215D) ; &K0-2143; [01-61] (=ks-x1001 . #x2143) ; &I-K0-2143; [01-35] (=ucs@gb . #x2265) ; &K0-2143; (=ucs@ks . #x2265) ; &K0-2143; + (<-fullwidth + ((name . "GREATER-THAN OR EQUAL TO") + (=ucs . #x2265) ; ≥ + )) )) (define-char '((name . "LESS-THAN OVER EQUAL TO") @@ -1567,16 +1567,16 @@ ((name . "LESS-THAN OVER EQUAL TO") (=ucs . #x2266) ; ≦ )) - (<-fullwidth - ((name . "LESS-THAN OVER EQUAL TO") - (=ucs . #x2266) ; ≦ - )) (=jis-x0208 . #x2165) ; &J90-2165; [01-69] (=cns11643-1 . #x2239) ; &I-C1-2239; [02-25] (=big5 . #xA1D8) ; &I-B-A1D8; (=ucs@cns . #x2266) ; &J90-2165; (=ucs@jis . #x2266) ; &J90-2165; (=ucs@big5 . #x2266) ; &J90-2165; + (<-fullwidth + ((name . "LESS-THAN OVER EQUAL TO") + (=ucs . #x2266) ; ≦ + )) )) (define-char '((name . "GREATER-THAN OVER EQUAL TO") @@ -1590,16 +1590,16 @@ ((name . "GREATER-THAN OVER EQUAL TO") (=ucs . #x2267) ; ≧ )) - (<-fullwidth - ((name . "GREATER-THAN OVER EQUAL TO") - (=ucs . #x2267) ; ≧ - )) (=jis-x0208 . #x2166) ; &J90-2166; [01-70] (=cns11643-1 . #x223A) ; &I-C1-223A; [02-26] (=big5 . #xA1D9) ; &I-B-A1D9; (=ucs@cns . #x2267) ; &J90-2166; (=ucs@jis . #x2267) ; &J90-2166; (=ucs@big5 . #x2267) ; &J90-2166; + (<-fullwidth + ((name . "GREATER-THAN OVER EQUAL TO") + (=ucs . #x2267) ; ≧ + )) )) (define-char '((name . "LESS-THAN BUT NOT EQUAL TO") @@ -1627,16 +1627,16 @@ ((name . "MUCH LESS-THAN") (=ucs . #x226A) ; ≪ )) - (<-fullwidth - ((name . "MUCH LESS-THAN") - (=ucs . #x226A) ; ≪ - )) (=jis-x0208@1983 . #x2263) ; &J90-2263; [02-67] (=ks-x1001 . #x216C) ; &I-K0-216C; [01-76] (=jis-x0208@1990 . #x2263) ; &I-J90-2263; [02-67] (=jef-china3 . #x7FE3) ; &I-JC3-7FE3; (=ucs@jis . #x226A) ; &J90-2263; (=ucs@ks . #x226A) ; &J90-2263; + (<-fullwidth + ((name . "MUCH LESS-THAN") + (=ucs . #x226A) ; ≪ + )) )) (define-char '((name . "MUCH GREATER-THAN") @@ -1650,16 +1650,16 @@ ((name . "MUCH GREATER-THAN") (=ucs . #x226B) ; ≫ )) - (<-fullwidth - ((name . "MUCH GREATER-THAN") - (=ucs . #x226B) ; ≫ - )) (=jis-x0208@1983 . #x2264) ; &J90-2264; [02-68] (=ks-x1001 . #x216D) ; &I-K0-216D; [01-77] (=jis-x0208@1990 . #x2264) ; &I-J90-2264; [02-68] (=jef-china3 . #x7FE4) ; &I-JC3-7FE4; (=ucs@jis . #x226B) ; &J90-2264; (=ucs@ks . #x226B) ; &J90-2264; + (<-fullwidth + ((name . "MUCH GREATER-THAN") + (=ucs . #x226B) ; ≫ + )) )) (define-char '((name . "BETWEEN") @@ -1701,10 +1701,6 @@ ((name . "NOT LESS-THAN") (=ucs . #x226E) ; ≮ )) - (<-fullwidth - ((name . "NOT LESS-THAN") - (=ucs . #x226E) ; ≮ - )) (=decomposition ((name . "FULLWIDTH LESS-THAN SIGN") (=ucs . #xFF1C) ; ＜ @@ -1714,6 +1710,10 @@ )) (=gb2312 . #x215A) ; &G0-215A; [01-58] (=ucs@gb . #x226E) ; &G0-215A; + (<-fullwidth + ((name . "NOT LESS-THAN") + (=ucs . #x226E) ; ≮ + )) )) (define-char '((name . "NOT GREATER-THAN") @@ -1734,10 +1734,6 @@ ((name . "NOT GREATER-THAN") (=ucs . #x226F) ; ≯ )) - (<-fullwidth - ((name . "NOT GREATER-THAN") - (=ucs . #x226F) ; ≯ - )) (=decomposition ((name . "FULLWIDTH GREATER-THAN SIGN") (=ucs . #xFF1E) ; ＞ @@ -1747,6 +1743,10 @@ )) (=gb2312 . #x215B) ; &G0-215B; [01-59] (=ucs@gb . #x226F) ; &G0-215B; + (<-fullwidth + ((name . "NOT GREATER-THAN") + (=ucs . #x226F) ; ≯ + )) )) (define-char '((name . "NEITHER LESS-THAN NOR EQUAL TO") @@ -1830,12 +1830,12 @@ ((name . "LESS-THAN OR GREATER-THAN") (=ucs . #x2276) ; ≶ )) + (=jis-x0213-1-2000 . #x226F) ; &JX1-226F; [02-79] + (=ucs@jis . #x2276) ; &JX1-226F; (<-fullwidth ((name . "LESS-THAN OR GREATER-THAN") (=ucs . #x2276) ; ≶ )) - (=jis-x0213-1-2000 . #x226F) ; &JX1-226F; [02-79] - (=ucs@jis . #x2276) ; &JX1-226F; )) (define-char '((name . "GREATER-THAN OR LESS-THAN") @@ -1849,12 +1849,12 @@ ((name . "GREATER-THAN OR LESS-THAN") (=ucs . #x2277) ; ≷ )) + (=jis-x0213-1-2000 . #x2270) ; &JX1-2270; [02-80] + (=ucs@jis . #x2277) ; &JX1-2270; (<-fullwidth ((name . "GREATER-THAN OR LESS-THAN") (=ucs . #x2277) ; ≷ )) - (=jis-x0213-1-2000 . #x2270) ; &JX1-2270; [02-80] - (=ucs@jis . #x2277) ; &JX1-2270; )) (define-char '((name . "NEITHER LESS-THAN NOR GREATER-THAN") @@ -1966,16 +1966,16 @@ ((name . "SUBSET OF") (=ucs . #x2282) ; ⊂ )) - (<-fullwidth - ((name . "SUBSET OF") - (=ucs . #x2282) ; ⊂ - )) (=jis-x0208@1983 . #x223E) ; &J90-223E; [02-30] (=ks-x1001 . #x2178) ; &I-K0-2178; [01-88] (=jis-x0208@1990 . #x223E) ; &I-J90-223E; [02-30] (=jef-china3 . #x7FD4) ; &I-JC3-7FD4; (=ucs@jis . #x2282) ; &J90-223E; (=ucs@ks . #x2282) ; &J90-223E; + (<-fullwidth + ((name . "SUBSET OF") + (=ucs . #x2282) ; ⊂ + )) )) (define-char '((name . "SUPERSET OF") @@ -1989,16 +1989,16 @@ ((name . "SUPERSET OF") (=ucs . #x2283) ; ⊃ )) - (<-fullwidth - ((name . "SUPERSET OF") - (=ucs . #x2283) ; ⊃ - )) (=jis-x0208@1983 . #x223F) ; &J90-223F; [02-31] (=ks-x1001 . #x2179) ; &I-K0-2179; [01-89] (=jis-x0208@1990 . #x223F) ; &I-J90-223F; [02-31] (=jef-china3 . #x7FD5) ; &I-JC3-7FD5; (=ucs@jis . #x2283) ; &J90-223F; (=ucs@ks . #x2283) ; &J90-223F; + (<-fullwidth + ((name . "SUPERSET OF") + (=ucs . #x2283) ; ⊃ + )) )) (define-char '((name . "NOT A SUBSET OF") @@ -2019,12 +2019,12 @@ ((name . "NOT A SUBSET OF") (=ucs . #x2284) ; ⊄ )) + (=jis-x0213-1-2000 . #x2242) ; &JX1-2242; [02-34] + (=ucs@jis . #x2284) ; &JX1-2242; (<-fullwidth ((name . "NOT A SUBSET OF") (=ucs . #x2284) ; ⊄ )) - (=jis-x0213-1-2000 . #x2242) ; &JX1-2242; [02-34] - (=ucs@jis . #x2284) ; &JX1-2242; )) (define-char '((name . "NOT A SUPERSET OF") @@ -2045,12 +2045,12 @@ ((name . "NOT A SUPERSET OF") (=ucs . #x2285) ; ⊅ )) + (=jis-x0213-1-2000 . #x2243) ; &JX1-2243; [02-35] + (=ucs@jis . #x2285) ; &JX1-2243; (<-fullwidth ((name . "NOT A SUPERSET OF") (=ucs . #x2285) ; ⊅ )) - (=jis-x0213-1-2000 . #x2243) ; &JX1-2243; [02-35] - (=ucs@jis . #x2285) ; &JX1-2243; )) (define-char '((name . "SUBSET OF OR EQUAL TO") @@ -2064,16 +2064,16 @@ ((name . "SUBSET OF OR EQUAL TO") (=ucs . #x2286) ; ⊆ )) - (<-fullwidth - ((name . "SUBSET OF OR EQUAL TO") - (=ucs . #x2286) ; ⊆ - )) (=jis-x0208@1983 . #x223C) ; &J90-223C; [02-28] (=ks-x1001 . #x2176) ; &I-K0-2176; [01-86] (=jis-x0208@1990 . #x223C) ; &I-J90-223C; [02-28] (=jef-china3 . #x7FD2) ; &I-JC3-7FD2; (=ucs@jis . #x2286) ; &J90-223C; (=ucs@ks . #x2286) ; &J90-223C; + (<-fullwidth + ((name . "SUBSET OF OR EQUAL TO") + (=ucs . #x2286) ; ⊆ + )) )) (define-char '((name . "SUPERSET OF OR EQUAL TO") @@ -2087,16 +2087,16 @@ ((name . "SUPERSET OF OR EQUAL TO") (=ucs . #x2287) ; ⊇ )) - (<-fullwidth - ((name . "SUPERSET OF OR EQUAL TO") - (=ucs . #x2287) ; ⊇ - )) (=jis-x0208@1983 . #x223D) ; &J90-223D; [02-29] (=ks-x1001 . #x2177) ; &I-K0-2177; [01-87] (=jis-x0208@1990 . #x223D) ; &I-J90-223D; [02-29] (=jef-china3 . #x7FD3) ; &I-JC3-7FD3; (=ucs@jis . #x2287) ; &J90-223D; (=ucs@ks . #x2287) ; &J90-223D; + (<-fullwidth + ((name . "SUPERSET OF OR EQUAL TO") + (=ucs . #x2287) ; ⊇ + )) )) (define-char '((name . "NEITHER A SUBSET OF NOR EQUAL TO") @@ -2138,12 +2138,12 @@ ((name . "SUBSET OF WITH NOT EQUAL TO") (=ucs . #x228A) ; ⊊ )) + (=jis-x0213-1-2000 . #x2244) ; &JX1-2244; [02-36] + (=ucs@jis . #x228A) ; &JX1-2244; (<-fullwidth ((name . "SUBSET OF WITH NOT EQUAL TO") (=ucs . #x228A) ; ⊊ )) - (=jis-x0213-1-2000 . #x2244) ; &JX1-2244; [02-36] - (=ucs@jis . #x228A) ; &JX1-2244; )) (define-char '((name . "SUPERSET OF WITH NOT EQUAL TO") @@ -2157,12 +2157,12 @@ ((name . "SUPERSET OF WITH NOT EQUAL TO") (=ucs . #x228B) ; ⊋ )) + (=jis-x0213-1-2000 . #x2245) ; &JX1-2245; [02-37] + (=ucs@jis . #x228B) ; &JX1-2245; (<-fullwidth ((name . "SUPERSET OF WITH NOT EQUAL TO") (=ucs . #x228B) ; ⊋ )) - (=jis-x0213-1-2000 . #x2245) ; &JX1-2245; [02-37] - (=ucs@jis . #x228B) ; &JX1-2245; )) (define-char '((name . "MULTISET") @@ -2239,16 +2239,16 @@ ((name . "CIRCLED PLUS") (=ucs . #x2295) ; ⊕ )) - (<-fullwidth - ((name . "CIRCLED PLUS") - (=ucs . #x2295) ; ⊕ - )) (=cns11643-1 . #x2253) ; &JX1-2251; [02-51] (=jis-x0213-1-2000 . #x2251) ; &I-JX1-2251; [02-49] (=big5 . #xA1F2) ; &I-B-A1F2; (=ucs@cns . #x2295) ; &JX1-2251; (=ucs@jis . #x2295) ; &JX1-2251; (=ucs@big5 . #x2295) ; &JX1-2251; + (<-fullwidth + ((name . "CIRCLED PLUS") + (=ucs . #x2295) ; ⊕ + )) )) (define-char '((name . "CIRCLED MINUS") @@ -2262,12 +2262,12 @@ ((name . "CIRCLED MINUS") (=ucs . #x2296) ; ⊖ )) + (=jis-x0213-1-2000 . #x2252) ; &JX1-2252; [02-50] + (=ucs@jis . #x2296) ; &JX1-2252; (<-fullwidth ((name . "CIRCLED MINUS") (=ucs . #x2296) ; ⊖ )) - (=jis-x0213-1-2000 . #x2252) ; &JX1-2252; [02-50] - (=ucs@jis . #x2296) ; &JX1-2252; )) (define-char '((name . "CIRCLED TIMES") @@ -2281,12 +2281,12 @@ ((name . "CIRCLED TIMES") (=ucs . #x2297) ; ⊗ )) + (=jis-x0213-1-2000 . #x2253) ; &JX1-2253; [02-51] + (=ucs@jis . #x2297) ; &JX1-2253; (<-fullwidth ((name . "CIRCLED TIMES") (=ucs . #x2297) ; ⊗ )) - (=jis-x0213-1-2000 . #x2253) ; &JX1-2253; [02-51] - (=ucs@jis . #x2297) ; &JX1-2253; )) (define-char '((name . "CIRCLED DIVISION SLASH") @@ -2307,10 +2307,6 @@ ((name . "CIRCLED DOT OPERATOR") (=ucs . #x2299) ; ⊙ )) - (<-fullwidth - ((name . "CIRCLED DOT OPERATOR") - (=ucs . #x2299) ; ⊙ - )) (=gb2312 . #x2151) ; &C1-2254; [01-49] (=ks-x1001 . #x2241) ; &I-K0-2241; [02-33] (=cns11643-1 . #x2254) ; &I-C1-2254; [02-52] @@ -2319,6 +2315,10 @@ (=ucs@cns . #x2299) ; &C1-2254; (=ucs@ks . #x2299) ; &C1-2254; (=ucs@big5 . #x2299) ; &C1-2254; + (<-fullwidth + ((name . "CIRCLED DOT OPERATOR") + (=ucs . #x2299) ; ⊙ + )) )) (define-char '((name . "CIRCLED RING OPERATOR") @@ -2409,10 +2409,6 @@ ((name . "UP TACK") (=ucs . #x22A5) ; ⊥ )) - (<-fullwidth - ((name . "UP TACK") - (=ucs . #x22A5) ; ⊥ - )) (=gb2312 . #x214D) ; &J90-225D; [01-45] (=jis-x0208@1983 . #x225D) ; &I-J83-225D; [02-61] (=ks-x1001 . #x2151) ; &I-K0-2151; [01-49] @@ -2424,6 +2420,10 @@ (=ucs@jis . #x22A5) ; &J90-225D; (=ucs@ks . #x22A5) ; &J90-225D; (=ucs@big5 . #x22A5) ; &J90-225D; + (<-fullwidth + ((name . "UP TACK") + (=ucs . #x22A5) ; ⊥ + )) )) (define-char '((name . "ASSERTION") @@ -2640,16 +2640,16 @@ ((name . "RIGHT TRIANGLE") (=ucs . #x22BF) ; ⊿ )) - (<-fullwidth - ((name . "RIGHT TRIANGLE") - (=ucs . #x22BF) ; ⊿ - )) (=cns11643-1 . #x224A) ; &JX1-2D79; [02-42] (=jis-x0213-1-2000 . #x2D79) ; &I-JX1-2D79; [13-89] (=big5 . #xA1E9) ; &I-B-A1E9; (=ucs@cns . #x22BF) ; &JX1-2D79; (=ucs@jis . #x22BF) ; &JX1-2D79; (=ucs@big5 . #x22BF) ; &JX1-2D79; + (<-fullwidth + ((name . "RIGHT TRIANGLE") + (=ucs . #x22BF) ; ⊿ + )) )) (define-char '((name . "N-ARY LOGICAL AND") @@ -2845,12 +2845,12 @@ ((name . "LESS-THAN EQUAL TO OR GREATER-THAN") (=ucs . #x22DA) ; ⋚ )) + (=jis-x0213-1-2000 . #x2776) ; &JX1-2776; [07-86] + (=ucs@jis . #x22DA) ; &JX1-2776; (<-fullwidth ((name . "LESS-THAN EQUAL TO OR GREATER-THAN") (=ucs . #x22DA) ; ⋚ )) - (=jis-x0213-1-2000 . #x2776) ; &JX1-2776; [07-86] - (=ucs@jis . #x22DA) ; &JX1-2776; )) (define-char '((name . "GREATER-THAN EQUAL TO OR LESS-THAN") @@ -2864,12 +2864,12 @@ ((name . "GREATER-THAN EQUAL TO OR LESS-THAN") (=ucs . #x22DB) ; ⋛ )) + (=jis-x0213-1-2000 . #x2777) ; &JX1-2777; [07-87] + (=ucs@jis . #x22DB) ; &JX1-2777; (<-fullwidth ((name . "GREATER-THAN EQUAL TO OR LESS-THAN") (=ucs . #x22DB) ; ⋛ )) - (=jis-x0213-1-2000 . #x2777) ; &JX1-2777; [07-87] - (=ucs@jis . #x22DB) ; &JX1-2777; )) (define-char '((name . "EQUAL TO OR LESS-THAN") -- 1.7.10.4