+;; -*- coding: utf-8-mcs -*-
(define-char
'((name . "FOR ALL")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
+ (=ucs . #x2200) ; ∀
(=jis-x0208-1983 . #x224F) ;
(=ks-x1001 . #x2223) ;
(=jis-x0208-1990 . #x224F) ;
(=jef-china3 . #x7FDC) ;
- (=ucs . #x2200) ; ∀
))
(define-char
'((name . "COMPLEMENT")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
+ (=ucs . #x2202) ; ∂
(=jis-x0208-1983 . #x225F) ;
(=ks-x1001 . #x2153) ;
(=jis-x0208-1990 . #x225F) ;
(=jef-china3 . #x7FE1) ;
- (=ucs . #x2202) ; ∂
))
(define-char
'((name . "THERE EXISTS")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
+ (=ucs . #x2203) ; ∃
(=jis-x0208-1983 . #x2250) ;
(=ks-x1001 . #x2224) ;
(=jis-x0208-1990 . #x2250) ;
(=jef-china3 . #x7FDD) ;
- (=ucs . #x2203) ; ∃
))
(define-char
'((name . "THERE DOES NOT EXIST")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
- (=jis-x0213-1-2000 . #x2247) ;
(=ucs . #x2205) ; ∅
+ (=jis-x0213-1-2000 . #x2247) ;
))
(define-char
'((name . "INCREMENT")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
+ (=ucs . #x2207) ; ∇
(=jis-x0208-1983 . #x2260) ;
(=ks-x1001 . #x2154) ;
(=jis-x0208-1990 . #x2260) ;
(=jef-china3 . #x7FE2) ;
- (=ucs . #x2207) ; ∇
))
(define-char
'((name . "ELEMENT OF")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (chinese-gb2312 . #x214A) ;
+ (=ucs . #x2208) ; ∈
+ (=gb2312 . #x214A) ;
(=jis-x0208-1983 . #x223A) ;
(=ks-x1001 . #x2174) ;
(=jis-x0208-1990 . #x223A) ;
(=jef-china3 . #x7FD0) ;
- (=ucs . #x2208) ; ∈
))
(define-char
'((name . "NOT AN ELEMENT OF")
(bidi-category . "ON")
(mirrored . t)
(->decomposition #x2208 #x0338)
- (=jis-x0213-1-2000 . #x2246) ;
(=ucs . #x2209) ; ∉
+ (=jis-x0213-1-2000 . #x2246) ;
))
(define-char
'((name . "SMALL ELEMENT OF")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
+ (=ucs . #x220B) ; ∋
(=jis-x0208-1983 . #x223B) ;
(=ks-x1001 . #x2175) ;
(=jis-x0208-1990 . #x223B) ;
(=jef-china3 . #x7FD1) ;
- (=ucs . #x220B) ; ∋
))
(define-char
'((name . "DOES NOT CONTAIN AS MEMBER")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
- (chinese-gb2312 . #x2147) ;
- (=ks-x1001 . #x2233) ;
(=ucs . #x220F) ; ∏
+ (=gb2312 . #x2147) ;
+ (=ks-x1001 . #x2233) ;
))
(define-char
'((name . "N-ARY COPRODUCT")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (chinese-gb2312 . #x2146) ;
- (=ks-x1001 . #x2232) ;
(=ucs . #x2211) ; ∑
+ (=gb2312 . #x2146) ;
+ (=ks-x1001 . #x2232) ;
))
(define-char
'((name . "MINUS SIGN")
(general-category symbol math) ; Informative Category
(bidi-category . "ET")
(mirrored . nil)
- (=jis-x0208 . #x215D) ;
(=ucs . #x2212) ; −
+ (=jis-x0208 . #x215D) ;
))
(define-char
'((name . "MINUS-OR-PLUS SIGN")
(general-category symbol math) ; Informative Category
(bidi-category . "ET")
(mirrored . nil)
- (=jis-x0213-1-2000 . #x235B) ;
(=ucs . #x2213) ; ∓
+ (=jis-x0213-1-2000 . #x235B) ;
))
(define-char
'((name . "DOT PLUS")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (chinese-cns11643-1 . #x2261) ;
- (=big5 . #xA241) ;
(=ucs . #x2215) ; ∕
+ (=cns11643-1 . #x2261) ;
+ (=big5 . #xA241) ;
))
(define-char
'((name . "SET MINUS")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (chinese-gb2312 . #x214C) ;
+ (=ucs . #x221A) ; √
+ (=gb2312 . #x214C) ;
(=jis-x0208-1983 . #x2265) ;
(=ks-x1001 . #x216E) ;
- (chinese-cns11643-1 . #x2235) ;
(=jis-x0208-1990 . #x2265) ;
+ (=cns11643-1 . #x2235) ;
(=big5 . #xA1D4) ;
- (=ucs . #x221A) ; √
))
(define-char
'((name . "CUBE ROOT")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (chinese-gb2312 . #x2158) ;
+ (=ucs . #x221D) ; ∝
+ (=gb2312 . #x2158) ;
(=jis-x0208-1983 . #x2267) ;
(=ks-x1001 . #x2170) ;
(=jis-x0208-1990 . #x2267) ;
(=jef-china3 . #x7FE7) ;
- (=ucs . #x221D) ; ∝
))
(define-char
'((name . "INFINITY")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
- (chinese-gb2312 . #x215E) ;
+ (=ucs . #x221E) ; ∞
(=jis-x0208 . #x2167) ;
+ (=gb2312 . #x215E) ;
(=ks-x1001 . #x2144) ;
- (chinese-cns11643-1 . #x223C) ;
+ (=cns11643-1 . #x223C) ;
(=big5 . #xA1DB) ;
- (=ucs . #x221E) ; ∞
))
(define-char
'((name . "RIGHT ANGLE")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (chinese-cns11643-1 . #x2249) ;
+ (=ucs . #x221F) ; ∟
+ (=cns11643-1 . #x2249) ;
(=jis-x0213-1-2000 . #x2D78) ;
(=big5 . #xA1E8) ;
- (=ucs . #x221F) ; ∟
))
(define-char
'((name . "ANGLE")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (chinese-gb2312 . #x214F) ;
+ (=ucs . #x2220) ; ∠
+ (=gb2312 . #x214F) ;
(=jis-x0208-1983 . #x225C) ;
(=ks-x1001 . #x2150) ;
- (chinese-cns11643-1 . #x2248) ;
(=jis-x0208-1990 . #x225C) ;
+ (=cns11643-1 . #x2248) ;
(=big5 . #xA1E7) ;
(=jef-china3 . #x7FDE) ;
- (=ucs . #x2220) ; ∠
))
(define-char
'((name . "MEASURED ANGLE")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
- (=big5 . #xA1FD) ;
(=ucs . #x2223) ; ∣
+ (=big5 . #xA1FD) ;
))
(define-char
'((name . "DOES NOT DIVIDE")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
- (chinese-gb2312 . #x214E) ;
+ (=ucs . #x2225) ; ∥
+ (=gb2312 . #x214E) ;
(=ks-x1001 . #x212B) ;
(=jis-x0213-1-2000 . #x2254) ;
(=big5 . #xA1FC) ;
- (=ucs . #x2225) ; ∥
))
(define-char
'((name . "NOT PARALLEL TO")
(bidi-category . "ON")
(mirrored . t)
(->decomposition #x2225 #x0338)
- (=jis-x0213-1-2000 . #x2255) ;
(=ucs . #x2226) ; ∦
+ (=jis-x0213-1-2000 . #x2255) ;
))
(define-char
'((name . "LOGICAL AND")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
- (chinese-gb2312 . #x2144) ;
+ (=ucs . #x2227) ; ∧
+ (=gb2312 . #x2144) ;
(=jis-x0208-1983 . #x224A) ;
(=ks-x1001 . #x217C) ;
(=jis-x0208-1990 . #x224A) ;
- (=ucs . #x2227) ; ∧
))
(define-char
'((name . "LOGICAL OR")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
- (chinese-gb2312 . #x2145) ;
+ (=ucs . #x2228) ; ∨
+ (=gb2312 . #x2145) ;
(=jis-x0208-1983 . #x224B) ;
(=ks-x1001 . #x217D) ;
(=jis-x0208-1990 . #x224B) ;
- (=ucs . #x2228) ; ∨
))
(define-char
'((name . "INTERSECTION")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
- (chinese-gb2312 . #x2149) ;
+ (=ucs . #x2229) ; ∩
+ (=gb2312 . #x2149) ;
(=jis-x0208-1983 . #x2241) ;
(=ks-x1001 . #x217B) ;
- (chinese-cns11643-1 . #x2245) ;
(=jis-x0208-1990 . #x2241) ;
+ (=cns11643-1 . #x2245) ;
(=big5 . #xA1E4) ;
- (=ucs . #x2229) ; ∩
))
(define-char
'((name . "UNION")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
- (chinese-gb2312 . #x2148) ;
+ (=ucs . #x222A) ; ∪
+ (=gb2312 . #x2148) ;
(=jis-x0208-1983 . #x2240) ;
(=ks-x1001 . #x217A) ;
- (chinese-cns11643-1 . #x2246) ;
(=jis-x0208-1990 . #x2240) ;
+ (=cns11643-1 . #x2246) ;
(=big5 . #xA1E5) ;
- (=ucs . #x222A) ; ∪
))
(define-char
'((name . "INTEGRAL")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (chinese-gb2312 . #x2152) ;
+ (=ucs . #x222B) ; ∫
+ (=gb2312 . #x2152) ;
(=jis-x0208-1983 . #x2269) ;
(=ks-x1001 . #x2172) ;
- (chinese-cns11643-1 . #x224D) ;
(=jis-x0208-1990 . #x2269) ;
+ (=cns11643-1 . #x224D) ;
(=big5 . #xA1EC) ;
(=jef-china3 . #x7FE8) ;
- (=ucs . #x222B) ; ∫
))
(define-char
'((name . "DOUBLE INTEGRAL")
(bidi-category . "ON")
(mirrored . t)
(->decomposition compat #x222B #x222B)
+ (=ucs . #x222C) ; ∬
(=jis-x0208-1983 . #x226A) ;
(=ks-x1001 . #x2173) ;
(=jis-x0208-1990 . #x226A) ;
(=jef-china3 . #x7FE9) ;
- (=ucs . #x222C) ; ∬
))
(define-char
'((name . "TRIPLE INTEGRAL")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (chinese-gb2312 . #x2153) ;
+ (=ucs . #x222E) ; ∮
+ (=gb2312 . #x2153) ;
(=ks-x1001 . #x2231) ;
- (chinese-cns11643-1 . #x224E) ;
+ (=cns11643-1 . #x224E) ;
(=jis-x0213-1-2000 . #x2D73) ;
(=big5 . #xA1ED) ;
- (=ucs . #x222E) ; ∮
))
(define-char
'((name . "SURFACE INTEGRAL")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
- (chinese-gb2312 . #x2160) ;
+ (=ucs . #x2234) ; ∴
(=jis-x0208 . #x2168) ;
+ (=gb2312 . #x2160) ;
(=ks-x1001 . #x2145) ;
- (chinese-cns11643-1 . #x2250) ;
+ (=cns11643-1 . #x2250) ;
(=big5 . #xA1EF) ;
- (=ucs . #x2234) ; ∴
))
(define-char
'((name . "BECAUSE")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
- (chinese-gb2312 . #x215F) ;
+ (=ucs . #x2235) ; ∵
+ (=gb2312 . #x215F) ;
(=jis-x0208-1983 . #x2268) ;
(=ks-x1001 . #x2171) ;
- (chinese-cns11643-1 . #x224F) ;
(=jis-x0208-1990 . #x2268) ;
+ (=cns11643-1 . #x224F) ;
(=big5 . #xA1EE) ;
- (=ucs . #x2235) ; ∵
))
(define-char
'((name . "RATIO")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
- (chinese-gb2312 . #x2143) ;
(=ucs . #x2236) ; ∶
+ (=gb2312 . #x2143) ;
))
(define-char
'((name . "PROPORTION")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
- (chinese-gb2312 . #x214B) ;
(=ucs . #x2237) ; ∷
+ (=gb2312 . #x214B) ;
))
(define-char
'((name . "DOT MINUS")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
+ (=ucs . #x223C) ; ∼
(=ks-x1001 . #x212D) ;
- (chinese-cns11643-1 . #x2244) ;
+ (=cns11643-1 . #x2244) ;
(=big5 . #xA1E3) ;
(=ucs@big5 . #xFF5E) ; ∼
- (=ucs . #x223C) ; ∼
))
(define-char
'((name . "REVERSED TILDE")
(bidi-category . "ON")
(mirrored . t)
(iso-10646-comment . "lazy S")
- (chinese-gb2312 . #x2157) ;
+ (=ucs . #x223D) ; ∽
+ (=gb2312 . #x2157) ;
(=jis-x0208-1983 . #x2266) ;
(=ks-x1001 . #x216F) ;
(=jis-x0208-1990 . #x2266) ;
(=jef-china3 . #x7FE6) ;
- (=ucs . #x223D) ; ∽
))
(define-char
'((name . "INVERTED LAZY S")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (=jis-x0213-1-2000 . #x226C) ;
(=ucs . #x2243) ; ≃
+ (=jis-x0213-1-2000 . #x226C) ;
))
(define-char
'((name . "NOT ASYMPTOTICALLY EQUAL TO")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (=jis-x0213-1-2000 . #x226D) ;
(=ucs . #x2245) ; ≅
+ (=jis-x0213-1-2000 . #x226D) ;
))
(define-char
'((name . "APPROXIMATELY BUT NOT ACTUALLY EQUAL TO")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (chinese-gb2312 . #x2156) ;
- (=jis-x0213-1-2000 . #x226E) ;
(=ucs . #x2248) ; ≈
+ (=gb2312 . #x2156) ;
+ (=jis-x0213-1-2000 . #x226E) ;
))
(define-char
'((name . "NOT ALMOST EQUAL TO")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (chinese-gb2312 . #x2155) ;
(=ucs . #x224C) ; ≌
+ (=gb2312 . #x2155) ;
))
(define-char
'((name . "EQUIVALENT TO")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
+ (=ucs . #x2252) ; ≒
(=jis-x0208-1983 . #x2262) ;
(=ks-x1001 . #x2156) ;
- (chinese-cns11643-1 . #x223D) ;
(=jis-x0208-1990 . #x2262) ;
+ (=cns11643-1 . #x223D) ;
(=big5 . #xA1DC) ;
- (=ucs . #x2252) ; ≒
))
(define-char
'((name . "IMAGE OF OR APPROXIMATELY EQUAL TO")
(bidi-category . "ON")
(mirrored . t)
(->decomposition #x003D #x0338)
- (chinese-gb2312 . #x2159) ;
+ (=ucs . #x2260) ; ≠
(=jis-x0208 . #x2162) ;
+ (=gb2312 . #x2159) ;
(=ks-x1001 . #x2141) ;
- (chinese-cns11643-1 . #x223B) ;
+ (=cns11643-1 . #x223B) ;
(=big5 . #xA1DA) ;
- (=ucs . #x2260) ; ≠
))
(define-char
'((name . "IDENTICAL TO")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
- (chinese-gb2312 . #x2154) ;
+ (=ucs . #x2261) ; ≡
+ (=gb2312 . #x2154) ;
(=jis-x0208-1983 . #x2261) ;
(=ks-x1001 . #x2155) ;
- (chinese-cns11643-1 . #x223E) ;
(=jis-x0208-1990 . #x2261) ;
+ (=cns11643-1 . #x223E) ;
(=big5 . #xA1DD) ;
- (=ucs . #x2261) ; ≡
))
(define-char
'((name . "NOT IDENTICAL TO")
(bidi-category . "ON")
(mirrored . t)
(->decomposition #x2261 #x0338)
- (=jis-x0213-1-2000 . #x226B) ;
(=ucs . #x2262) ; ≢
+ (=jis-x0213-1-2000 . #x226B) ;
))
(define-char
'((name . "STRICTLY EQUIVALENT TO")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (chinese-gb2312 . #x215C) ;
- (=ks-x1001 . #x2142) ;
(=ucs . #x2264) ; ≤
+ (=gb2312 . #x215C) ;
+ (=ks-x1001 . #x2142) ;
))
(define-char
'((name . "GREATER-THAN OR EQUAL TO")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (chinese-gb2312 . #x215D) ;
- (=ks-x1001 . #x2143) ;
(=ucs . #x2265) ; ≥
+ (=gb2312 . #x215D) ;
+ (=ks-x1001 . #x2143) ;
))
(define-char
'((name . "LESS-THAN OVER EQUAL TO")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
+ (=ucs . #x2266) ; ≦
(=jis-x0208 . #x2165) ;
- (chinese-cns11643-1 . #x2239) ;
+ (=cns11643-1 . #x2239) ;
(=big5 . #xA1D8) ;
- (=ucs . #x2266) ; ≦
))
(define-char
'((name . "GREATER-THAN OVER EQUAL TO")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
+ (=ucs . #x2267) ; ≧
(=jis-x0208 . #x2166) ;
- (chinese-cns11643-1 . #x223A) ;
+ (=cns11643-1 . #x223A) ;
(=big5 . #xA1D9) ;
- (=ucs . #x2267) ; ≧
))
(define-char
'((name . "LESS-THAN BUT NOT EQUAL TO")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
+ (=ucs . #x226A) ; ≪
(=jis-x0208-1983 . #x2263) ;
(=ks-x1001 . #x216C) ;
(=jis-x0208-1990 . #x2263) ;
(=jef-china3 . #x7FE3) ;
- (=ucs . #x226A) ; ≪
))
(define-char
'((name . "MUCH GREATER-THAN")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
+ (=ucs . #x226B) ; ≫
(=jis-x0208-1983 . #x2264) ;
(=ks-x1001 . #x216D) ;
(=jis-x0208-1990 . #x2264) ;
(=jef-china3 . #x7FE4) ;
- (=ucs . #x226B) ; ≫
))
(define-char
'((name . "BETWEEN")
(bidi-category . "ON")
(mirrored . t)
(->decomposition #x003C #x0338)
- (chinese-gb2312 . #x215A) ;
(=ucs . #x226E) ; ≮
+ (=gb2312 . #x215A) ;
))
(define-char
'((name . "NOT GREATER-THAN")
(bidi-category . "ON")
(mirrored . t)
(->decomposition #x003E #x0338)
- (chinese-gb2312 . #x215B) ;
(=ucs . #x226F) ; ≯
+ (=gb2312 . #x215B) ;
))
(define-char
'((name . "NEITHER LESS-THAN NOR EQUAL TO")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (=jis-x0213-1-2000 . #x226F) ;
(=ucs . #x2276) ; ≶
+ (=jis-x0213-1-2000 . #x226F) ;
))
(define-char
'((name . "GREATER-THAN OR LESS-THAN")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (=jis-x0213-1-2000 . #x2270) ;
(=ucs . #x2277) ; ≷
+ (=jis-x0213-1-2000 . #x2270) ;
))
(define-char
'((name . "NEITHER LESS-THAN NOR GREATER-THAN")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
+ (=ucs . #x2282) ; ⊂
(=jis-x0208-1983 . #x223E) ;
(=ks-x1001 . #x2178) ;
(=jis-x0208-1990 . #x223E) ;
(=jef-china3 . #x7FD4) ;
- (=ucs . #x2282) ; ⊂
))
(define-char
'((name . "SUPERSET OF")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
+ (=ucs . #x2283) ; ⊃
(=jis-x0208-1983 . #x223F) ;
(=ks-x1001 . #x2179) ;
(=jis-x0208-1990 . #x223F) ;
(=jef-china3 . #x7FD5) ;
- (=ucs . #x2283) ; ⊃
))
(define-char
'((name . "NOT A SUBSET OF")
(bidi-category . "ON")
(mirrored . t)
(->decomposition #x2282 #x0338)
- (=jis-x0213-1-2000 . #x2242) ;
(=ucs . #x2284) ; ⊄
+ (=jis-x0213-1-2000 . #x2242) ;
))
(define-char
'((name . "NOT A SUPERSET OF")
(bidi-category . "ON")
(mirrored . t)
(->decomposition #x2283 #x0338)
- (=jis-x0213-1-2000 . #x2243) ;
(=ucs . #x2285) ; ⊅
+ (=jis-x0213-1-2000 . #x2243) ;
))
(define-char
'((name . "SUBSET OF OR EQUAL TO")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
+ (=ucs . #x2286) ; ⊆
(=jis-x0208-1983 . #x223C) ;
(=ks-x1001 . #x2176) ;
(=jis-x0208-1990 . #x223C) ;
(=jef-china3 . #x7FD2) ;
- (=ucs . #x2286) ; ⊆
))
(define-char
'((name . "SUPERSET OF OR EQUAL TO")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
+ (=ucs . #x2287) ; ⊇
(=jis-x0208-1983 . #x223D) ;
(=ks-x1001 . #x2177) ;
(=jis-x0208-1990 . #x223D) ;
(=jef-china3 . #x7FD3) ;
- (=ucs . #x2287) ; ⊇
))
(define-char
'((name . "NEITHER A SUBSET OF NOR EQUAL TO")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (=jis-x0213-1-2000 . #x2244) ;
(=ucs . #x228A) ; ⊊
+ (=jis-x0213-1-2000 . #x2244) ;
))
(define-char
'((name . "SUPERSET OF WITH NOT EQUAL TO")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (=jis-x0213-1-2000 . #x2245) ;
(=ucs . #x228B) ; ⊋
+ (=jis-x0213-1-2000 . #x2245) ;
))
(define-char
'((name . "MULTISET")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
- (chinese-cns11643-1 . #x2253) ;
+ (=ucs . #x2295) ; ⊕
+ (=cns11643-1 . #x2253) ;
(=jis-x0213-1-2000 . #x2251) ;
(=big5 . #xA1F2) ;
- (=ucs . #x2295) ; ⊕
))
(define-char
'((name . "CIRCLED MINUS")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
- (=jis-x0213-1-2000 . #x2252) ;
(=ucs . #x2296) ; ⊖
+ (=jis-x0213-1-2000 . #x2252) ;
))
(define-char
'((name . "CIRCLED TIMES")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
- (=jis-x0213-1-2000 . #x2253) ;
(=ucs . #x2297) ; ⊗
+ (=jis-x0213-1-2000 . #x2253) ;
))
(define-char
'((name . "CIRCLED DIVISION SLASH")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
- (chinese-gb2312 . #x2151) ;
+ (=ucs . #x2299) ; ⊙
+ (=gb2312 . #x2151) ;
(=ks-x1001 . #x2241) ;
- (chinese-cns11643-1 . #x2254) ;
+ (=cns11643-1 . #x2254) ;
(=big5 . #xA1F3) ;
- (=ucs . #x2299) ; ⊙
))
(define-char
'((name . "CIRCLED RING OPERATOR")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
- (chinese-gb2312 . #x214D) ;
+ (=ucs . #x22A5) ; ⊥
+ (=gb2312 . #x214D) ;
(=jis-x0208-1983 . #x225D) ;
(=ks-x1001 . #x2151) ;
- (chinese-cns11643-1 . #x2247) ;
(=jis-x0208-1990 . #x225D) ;
+ (=cns11643-1 . #x2247) ;
(=big5 . #xA1E6) ;
- (=ucs . #x22A5) ; ⊥
))
(define-char
'((name . "ASSERTION")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (chinese-cns11643-1 . #x224A) ;
+ (=ucs . #x22BF) ; ⊿
+ (=cns11643-1 . #x224A) ;
(=jis-x0213-1-2000 . #x2D79) ;
(=big5 . #xA1E9) ;
- (=ucs . #x22BF) ; ⊿
))
(define-char
'((name . "N-ARY LOGICAL AND")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
- (=jef-china3 . #x7FD8) ;
(=ucs . #x22C0) ; ⋀
+ (=jef-china3 . #x7FD8) ;
))
(define-char
'((name . "N-ARY LOGICAL OR")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
- (=jef-china3 . #x7FD9) ;
(=ucs . #x22C1) ; ⋁
+ (=jef-china3 . #x7FD9) ;
))
(define-char
'((name . "N-ARY INTERSECTION")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
- (=jef-china3 . #x7FD7) ;
(=ucs . #x22C2) ; ⋂
+ (=jef-china3 . #x7FD7) ;
))
(define-char
'((name . "N-ARY UNION")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
- (=jef-china3 . #x7FD6) ;
(=ucs . #x22C3) ; ⋃
+ (=jef-china3 . #x7FD6) ;
))
(define-char
'((name . "DIAMOND OPERATOR")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (=jis-x0213-1-2000 . #x2776) ;
(=ucs . #x22DA) ; ⋚
+ (=jis-x0213-1-2000 . #x2776) ;
))
(define-char
'((name . "GREATER-THAN EQUAL TO OR LESS-THAN")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (=jis-x0213-1-2000 . #x2777) ;
(=ucs . #x22DB) ; ⋛
+ (=jis-x0213-1-2000 . #x2777) ;
))
(define-char
'((name . "EQUAL TO OR LESS-THAN")