(define-char
'((name . "FOR ALL")
- (ucs . #x2200)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
- (japanese-jisx0208 #x22 #x4F) ;
- (korean-ksc5601 #x22 #x23) ;
+ (japanese-jisx0208 . #x224F) ;
+ (korean-ksc5601 . #x2223) ;
+ (japanese-jisx0208-1990 . #x224F) ; ∀
+ (ucs . #x2200) ; ∀
))
(define-char
'((name . "COMPLEMENT")
- (ucs . #x2201)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
+ (ucs . #x2201) ; ∁
))
(define-char
'((name . "PARTIAL DIFFERENTIAL")
- (ucs . #x2202)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (japanese-jisx0208 #x22 #x5F) ;
- (korean-ksc5601 #x21 #x53) ;
+ (japanese-jisx0208 . #x225F) ;
+ (korean-ksc5601 . #x2153) ;
+ (japanese-jisx0208-1990 . #x225F) ; ∂
+ (ucs . #x2202) ; ∂
))
(define-char
'((name . "THERE EXISTS")
- (ucs . #x2203)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (japanese-jisx0208 #x22 #x50) ;
- (korean-ksc5601 #x22 #x24) ;
+ (japanese-jisx0208 . #x2250) ;
+ (korean-ksc5601 . #x2224) ;
+ (japanese-jisx0208-1990 . #x2250) ; ∃
+ (ucs . #x2203) ; ∃
))
(define-char
'((name . "THERE DOES NOT EXIST")
- (ucs . #x2204)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
(->decomposition #x2203 #x0338)
+ (ucs . #x2204) ; ∄
))
(define-char
'((name . "EMPTY SET")
- (ucs . #x2205)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
- (japanese-jisx0213-1 #x22 #x47) ; ∅
+ (japanese-jisx0213-1 . #x2247) ; ∅
+ (ucs . #x2205) ; ∅
))
(define-char
'((name . "INCREMENT")
- (ucs . #x2206)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
+ (ucs . #x2206) ; ∆
))
(define-char
'((name . "NABLA")
- (ucs . #x2207)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
- (japanese-jisx0208 #x22 #x60) ;
- (korean-ksc5601 #x21 #x54) ;
+ (japanese-jisx0208 . #x2260) ;
+ (korean-ksc5601 . #x2154) ;
+ (japanese-jisx0208-1990 . #x2260) ; ∇
+ (ucs . #x2207) ; ∇
))
(define-char
'((name . "ELEMENT OF")
- (ucs . #x2208)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (chinese-gb2312 #x21 #x4A) ;
- (japanese-jisx0208 #x22 #x3A) ;
- (korean-ksc5601 #x21 #x74) ;
+ (chinese-gb2312 . #x214A) ;
+ (japanese-jisx0208 . #x223A) ;
+ (korean-ksc5601 . #x2174) ;
+ (japanese-jisx0208-1990 . #x223A) ; ∈
+ (ucs . #x2208) ; ∈
))
(define-char
'((name . "NOT AN ELEMENT OF")
- (ucs . #x2209)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
(->decomposition #x2208 #x0338)
- (japanese-jisx0213-1 #x22 #x46) ; ∉
+ (japanese-jisx0213-1 . #x2246) ; ∉
+ (ucs . #x2209) ; ∉
))
(define-char
'((name . "SMALL ELEMENT OF")
- (ucs . #x220A)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
+ (ucs . #x220A) ; ∊
))
(define-char
'((name . "CONTAINS AS MEMBER")
- (ucs . #x220B)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (japanese-jisx0208 #x22 #x3B) ;
- (korean-ksc5601 #x21 #x75) ;
+ (japanese-jisx0208 . #x223B) ;
+ (korean-ksc5601 . #x2175) ;
+ (japanese-jisx0208-1990 . #x223B) ; ∋
+ (ucs . #x220B) ; ∋
))
(define-char
'((name . "DOES NOT CONTAIN AS MEMBER")
- (ucs . #x220C)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
(->decomposition #x220B #x0338)
+ (ucs . #x220C) ; ∌
))
(define-char
'((name . "SMALL CONTAINS AS MEMBER")
- (ucs . #x220D)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
+ (ucs . #x220D) ; ∍
))
(define-char
'((name . "END OF PROOF")
- (ucs . #x220E)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
+ (ucs . #x220E) ; ∎
))
(define-char
'((name . "N-ARY PRODUCT")
- (ucs . #x220F)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
- (chinese-gb2312 #x21 #x47) ;
- (korean-ksc5601 #x22 #x33) ;
+ (chinese-gb2312 . #x2147) ;
+ (korean-ksc5601 . #x2233) ;
+ (ucs . #x220F) ; ∏
))
(define-char
'((name . "N-ARY COPRODUCT")
- (ucs . #x2210)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
+ (ucs . #x2210) ; ∐
))
(define-char
'((name . "N-ARY SUMMATION")
- (ucs . #x2211)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (chinese-gb2312 #x21 #x46) ;
- (korean-ksc5601 #x22 #x32) ;
+ (chinese-gb2312 . #x2146) ;
+ (korean-ksc5601 . #x2232) ;
+ (ucs . #x2211) ; ∑
))
(define-char
'((name . "MINUS SIGN")
- (ucs . #x2212)
(general-category symbol math) ; Informative Category
(bidi-category . "ET")
(mirrored . nil)
- (japanese-jisx0208-1978 #x21 #x5D) ;
- (japanese-jisx0208 #x21 #x5D) ;
+ (japanese-jisx0208-1978 . #x215D) ;
+ (japanese-jisx0208 . #x215D) ;
+ (japanese-jisx0208-1990 . #x215D) ; −
+ (ucs . #x2212) ; −
))
(define-char
'((name . "MINUS-OR-PLUS SIGN")
- (ucs . #x2213)
(general-category symbol math) ; Informative Category
(bidi-category . "ET")
(mirrored . nil)
- (japanese-jisx0213-1 #x23 #x5B) ; ∓
+ (japanese-jisx0213-1 . #x235B) ; ∓
+ (ucs . #x2213) ; ∓
))
(define-char
'((name . "DOT PLUS")
- (ucs . #x2214)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
+ (ucs . #x2214) ; ∔
))
(define-char
'((name . "DIVISION SLASH")
- (ucs . #x2215)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (chinese-cns11643-1 #x22 #x61) ;
+ (chinese-cns11643-1 . #x2261) ;
+ (ucs . #x2215) ; ∕
))
(define-char
'((name . "SET MINUS")
- (ucs . #x2216)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
+ (ucs . #x2216) ; ∖
))
(define-char
'((name . "ASTERISK OPERATOR")
- (ucs . #x2217)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
+ (ucs . #x2217) ; ∗
))
(define-char
'((name . "RING OPERATOR")
- (ucs . #x2218)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
+ (ucs . #x2218) ; ∘
))
(define-char
'((name . "BULLET OPERATOR")
- (ucs . #x2219)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
+ (ucs . #x2219) ; ∙
))
(define-char
'((name . "SQUARE ROOT")
- (ucs . #x221A)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (chinese-gb2312 #x21 #x4C) ;
- (japanese-jisx0208 #x22 #x65) ;
- (korean-ksc5601 #x21 #x6E) ;
- (chinese-cns11643-1 #x22 #x35) ;
+ (chinese-gb2312 . #x214C) ;
+ (japanese-jisx0208 . #x2265) ;
+ (korean-ksc5601 . #x216E) ;
+ (chinese-cns11643-1 . #x2235) ;
+ (japanese-jisx0208-1990 . #x2265) ; √
+ (ucs . #x221A) ; √
))
(define-char
'((name . "CUBE ROOT")
- (ucs . #x221B)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
+ (ucs . #x221B) ; ∛
))
(define-char
'((name . "FOURTH ROOT")
- (ucs . #x221C)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
+ (ucs . #x221C) ; ∜
))
(define-char
'((name . "PROPORTIONAL TO")
- (ucs . #x221D)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (chinese-gb2312 #x21 #x58) ;
- (japanese-jisx0208 #x22 #x67) ;
- (korean-ksc5601 #x21 #x70) ;
+ (chinese-gb2312 . #x2158) ;
+ (japanese-jisx0208 . #x2267) ;
+ (korean-ksc5601 . #x2170) ;
+ (japanese-jisx0208-1990 . #x2267) ; ∝
+ (ucs . #x221D) ; ∝
))
(define-char
'((name . "INFINITY")
- (ucs . #x221E)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
- (japanese-jisx0208-1978 #x21 #x67) ;
- (chinese-gb2312 #x21 #x5E) ;
- (japanese-jisx0208 #x21 #x67) ;
- (korean-ksc5601 #x21 #x44) ;
- (chinese-cns11643-1 #x22 #x3C) ;
+ (japanese-jisx0208-1978 . #x2167) ;
+ (chinese-gb2312 . #x215E) ;
+ (japanese-jisx0208 . #x2167) ;
+ (korean-ksc5601 . #x2144) ;
+ (chinese-cns11643-1 . #x223C) ;
+ (japanese-jisx0208-1990 . #x2167) ; ∞
+ (ucs . #x221E) ; ∞
))
(define-char
'((name . "RIGHT ANGLE")
- (ucs . #x221F)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (chinese-cns11643-1 #x22 #x49) ;
- (japanese-jisx0213-1 #x2D #x78) ; ∟
+ (chinese-cns11643-1 . #x2249) ;
+ (japanese-jisx0213-1 . #x2D78) ; ∟
+ (ucs . #x221F) ; ∟
))
(define-char
'((name . "ANGLE")
- (ucs . #x2220)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (chinese-gb2312 #x21 #x4F) ;
- (japanese-jisx0208 #x22 #x5C) ;
- (korean-ksc5601 #x21 #x50) ;
- (chinese-cns11643-1 #x22 #x48) ;
+ (chinese-gb2312 . #x214F) ;
+ (japanese-jisx0208 . #x225C) ;
+ (korean-ksc5601 . #x2150) ;
+ (chinese-cns11643-1 . #x2248) ;
+ (japanese-jisx0208-1990 . #x225C) ; ∠
+ (ucs . #x2220) ; ∠
))
(define-char
'((name . "MEASURED ANGLE")
- (ucs . #x2221)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
+ (ucs . #x2221) ; ∡
))
(define-char
'((name . "SPHERICAL ANGLE")
- (ucs . #x2222)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
+ (ucs . #x2222) ; ∢
))
(define-char
'((name . "DIVIDES")
- (ucs . #x2223)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
+ (ucs . #x2223) ; ∣
))
(define-char
'((name . "DOES NOT DIVIDE")
- (ucs . #x2224)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
(->decomposition #x2223 #x0338)
+ (ucs . #x2224) ; ∤
))
(define-char
'((name . "PARALLEL TO")
- (ucs . #x2225)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
- (chinese-gb2312 #x21 #x4E) ;
- (korean-ksc5601 #x21 #x2B) ;
- (japanese-jisx0213-1 #x22 #x54) ; ∥
+ (chinese-gb2312 . #x214E) ;
+ (korean-ksc5601 . #x212B) ;
+ (japanese-jisx0213-1 . #x2254) ; ∥
+ (ucs . #x2225) ; ∥
))
(define-char
'((name . "NOT PARALLEL TO")
- (ucs . #x2226)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
(->decomposition #x2225 #x0338)
- (japanese-jisx0213-1 #x22 #x55) ; ∦
+ (japanese-jisx0213-1 . #x2255) ; ∦
+ (ucs . #x2226) ; ∦
))
(define-char
'((name . "LOGICAL AND")
- (ucs . #x2227)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
- (chinese-gb2312 #x21 #x44) ;
- (japanese-jisx0208 #x22 #x4A) ;
- (korean-ksc5601 #x21 #x7C) ;
+ (chinese-gb2312 . #x2144) ;
+ (japanese-jisx0208 . #x224A) ;
+ (korean-ksc5601 . #x217C) ;
+ (japanese-jisx0208-1990 . #x224A) ; ∧
+ (ucs . #x2227) ; ∧
))
(define-char
'((name . "LOGICAL OR")
- (ucs . #x2228)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
- (chinese-gb2312 #x21 #x45) ;
- (japanese-jisx0208 #x22 #x4B) ;
- (korean-ksc5601 #x21 #x7D) ;
+ (chinese-gb2312 . #x2145) ;
+ (japanese-jisx0208 . #x224B) ;
+ (korean-ksc5601 . #x217D) ;
+ (japanese-jisx0208-1990 . #x224B) ; ∨
+ (ucs . #x2228) ; ∨
))
(define-char
'((name . "INTERSECTION")
- (ucs . #x2229)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
- (chinese-gb2312 #x21 #x49) ;
- (japanese-jisx0208 #x22 #x41) ;
- (korean-ksc5601 #x21 #x7B) ;
- (chinese-cns11643-1 #x22 #x45) ;
+ (chinese-gb2312 . #x2149) ;
+ (japanese-jisx0208 . #x2241) ;
+ (korean-ksc5601 . #x217B) ;
+ (chinese-cns11643-1 . #x2245) ;
+ (japanese-jisx0208-1990 . #x2241) ; ∩
+ (ucs . #x2229) ; ∩
))
(define-char
'((name . "UNION")
- (ucs . #x222A)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
- (chinese-gb2312 #x21 #x48) ;
- (japanese-jisx0208 #x22 #x40) ;
- (korean-ksc5601 #x21 #x7A) ;
- (chinese-cns11643-1 #x22 #x46) ;
+ (chinese-gb2312 . #x2148) ;
+ (japanese-jisx0208 . #x2240) ;
+ (korean-ksc5601 . #x217A) ;
+ (chinese-cns11643-1 . #x2246) ;
+ (japanese-jisx0208-1990 . #x2240) ; ∪
+ (ucs . #x222A) ; ∪
))
(define-char
'((name . "INTEGRAL")
- (ucs . #x222B)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (chinese-gb2312 #x21 #x52) ;
- (japanese-jisx0208 #x22 #x69) ;
- (korean-ksc5601 #x21 #x72) ;
- (chinese-cns11643-1 #x22 #x4D) ;
+ (chinese-gb2312 . #x2152) ;
+ (japanese-jisx0208 . #x2269) ;
+ (korean-ksc5601 . #x2172) ;
+ (chinese-cns11643-1 . #x224D) ;
+ (japanese-jisx0208-1990 . #x2269) ; ∫
+ (ucs . #x222B) ; ∫
))
(define-char
'((name . "DOUBLE INTEGRAL")
- (ucs . #x222C)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
(->decomposition compat #x222B #x222B)
- (japanese-jisx0208 #x22 #x6A) ;
- (korean-ksc5601 #x21 #x73) ;
+ (japanese-jisx0208 . #x226A) ;
+ (korean-ksc5601 . #x2173) ;
+ (japanese-jisx0208-1990 . #x226A) ; ∬
+ (ucs . #x222C) ; ∬
))
(define-char
'((name . "TRIPLE INTEGRAL")
- (ucs . #x222D)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
(->decomposition compat #x222B #x222B #x222B)
+ (ucs . #x222D) ; ∭
))
(define-char
'((name . "CONTOUR INTEGRAL")
- (ucs . #x222E)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (chinese-gb2312 #x21 #x53) ;
- (korean-ksc5601 #x22 #x31) ;
- (chinese-cns11643-1 #x22 #x4E) ;
- (japanese-jisx0213-1 #x2D #x73) ; ∮
+ (chinese-gb2312 . #x2153) ;
+ (korean-ksc5601 . #x2231) ;
+ (chinese-cns11643-1 . #x224E) ;
+ (japanese-jisx0213-1 . #x2D73) ; ∮
+ (ucs . #x222E) ; ∮
))
(define-char
'((name . "SURFACE INTEGRAL")
- (ucs . #x222F)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
(->decomposition compat #x222E #x222E)
+ (ucs . #x222F) ; ∯
))
(define-char
'((name . "VOLUME INTEGRAL")
- (ucs . #x2230)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
(->decomposition compat #x222E #x222E #x222E)
+ (ucs . #x2230) ; ∰
))
(define-char
'((name . "CLOCKWISE INTEGRAL")
- (ucs . #x2231)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
+ (ucs . #x2231) ; ∱
))
(define-char
'((name . "CLOCKWISE CONTOUR INTEGRAL")
- (ucs . #x2232)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
+ (ucs . #x2232) ; ∲
))
(define-char
'((name . "ANTICLOCKWISE CONTOUR INTEGRAL")
- (ucs . #x2233)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
+ (ucs . #x2233) ; ∳
))
(define-char
'((name . "THEREFORE")
- (ucs . #x2234)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
- (japanese-jisx0208-1978 #x21 #x68) ;
- (chinese-gb2312 #x21 #x60) ;
- (japanese-jisx0208 #x21 #x68) ;
- (korean-ksc5601 #x21 #x45) ;
- (chinese-cns11643-1 #x22 #x50) ;
+ (japanese-jisx0208-1978 . #x2168) ;
+ (chinese-gb2312 . #x2160) ;
+ (japanese-jisx0208 . #x2168) ;
+ (korean-ksc5601 . #x2145) ;
+ (chinese-cns11643-1 . #x2250) ;
+ (japanese-jisx0208-1990 . #x2168) ; ∴
+ (ucs . #x2234) ; ∴
))
(define-char
'((name . "BECAUSE")
- (ucs . #x2235)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
- (chinese-gb2312 #x21 #x5F) ;
- (japanese-jisx0208 #x22 #x68) ;
- (korean-ksc5601 #x21 #x71) ;
- (chinese-cns11643-1 #x22 #x4F) ;
+ (chinese-gb2312 . #x215F) ;
+ (japanese-jisx0208 . #x2268) ;
+ (korean-ksc5601 . #x2171) ;
+ (chinese-cns11643-1 . #x224F) ;
+ (japanese-jisx0208-1990 . #x2268) ; ∵
+ (ucs . #x2235) ; ∵
))
(define-char
'((name . "RATIO")
- (ucs . #x2236)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
- (chinese-gb2312 #x21 #x43) ;
+ (chinese-gb2312 . #x2143) ;
+ (ucs . #x2236) ; ∶
))
(define-char
'((name . "PROPORTION")
- (ucs . #x2237)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
- (chinese-gb2312 #x21 #x4B) ;
+ (chinese-gb2312 . #x214B) ;
+ (ucs . #x2237) ; ∷
))
(define-char
'((name . "DOT MINUS")
- (ucs . #x2238)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
+ (ucs . #x2238) ; ∸
))
(define-char
'((name . "EXCESS")
- (ucs . #x2239)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
+ (ucs . #x2239) ; ∹
))
(define-char
'((name . "GEOMETRIC PROPORTION")
- (ucs . #x223A)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
+ (ucs . #x223A) ; ∺
))
(define-char
'((name . "HOMOTHETIC")
- (ucs . #x223B)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
+ (ucs . #x223B) ; ∻
))
(define-char
'((name . "TILDE OPERATOR")
- (ucs . #x223C)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (korean-ksc5601 #x21 #x2D) ;
+ (korean-ksc5601 . #x212D) ;
+ (ucs . #x223C) ; ∼
))
(define-char
'((name . "REVERSED TILDE")
- (ucs . #x223D)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
(iso-10646-comment . "lazy S")
- (chinese-gb2312 #x21 #x57) ;
- (japanese-jisx0208 #x22 #x66) ;
- (korean-ksc5601 #x21 #x6F) ;
+ (chinese-gb2312 . #x2157) ;
+ (japanese-jisx0208 . #x2266) ;
+ (korean-ksc5601 . #x216F) ;
+ (japanese-jisx0208-1990 . #x2266) ; ∽
+ (ucs . #x223D) ; ∽
))
(define-char
'((name . "INVERTED LAZY S")
- (ucs . #x223E)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
+ (ucs . #x223E) ; ∾
))
(define-char
'((name . "SINE WAVE")
- (ucs . #x223F)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
+ (ucs . #x223F) ; ∿
))
(define-char
'((name . "WREATH PRODUCT")
- (ucs . #x2240)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
+ (ucs . #x2240) ; ≀
))
(define-char
'((name . "NOT TILDE")
- (ucs . #x2241)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
(->decomposition #x223C #x0338)
+ (ucs . #x2241) ; ≁
))
(define-char
'((name . "MINUS TILDE")
- (ucs . #x2242)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
+ (ucs . #x2242) ; ≂
))
(define-char
'((name . "ASYMPTOTICALLY EQUAL TO")
- (ucs . #x2243)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (japanese-jisx0213-1 #x22 #x6C) ; ≃
+ (japanese-jisx0213-1 . #x226C) ; ≃
+ (ucs . #x2243) ; ≃
))
(define-char
'((name . "NOT ASYMPTOTICALLY EQUAL TO")
- (ucs . #x2244)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
(->decomposition #x2243 #x0338)
+ (ucs . #x2244) ; ≄
))
(define-char
'((name . "APPROXIMATELY EQUAL TO")
- (ucs . #x2245)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (japanese-jisx0213-1 #x22 #x6D) ; ≅
+ (japanese-jisx0213-1 . #x226D) ; ≅
+ (ucs . #x2245) ; ≅
))
(define-char
'((name . "APPROXIMATELY BUT NOT ACTUALLY EQUAL TO")
- (ucs . #x2246)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
+ (ucs . #x2246) ; ≆
))
(define-char
'((name . "NEITHER APPROXIMATELY NOR ACTUALLY EQUAL TO")
- (ucs . #x2247)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
(->decomposition #x2245 #x0338)
+ (ucs . #x2247) ; ≇
))
(define-char
'((name . "ALMOST EQUAL TO")
- (ucs . #x2248)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (chinese-gb2312 #x21 #x56) ;
- (japanese-jisx0213-1 #x22 #x6E) ; ≈
+ (chinese-gb2312 . #x2156) ;
+ (japanese-jisx0213-1 . #x226E) ; ≈
+ (ucs . #x2248) ; ≈
))
(define-char
'((name . "NOT ALMOST EQUAL TO")
- (ucs . #x2249)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
(->decomposition #x2248 #x0338)
+ (ucs . #x2249) ; ≉
))
(define-char
'((name . "ALMOST EQUAL OR EQUAL TO")
- (ucs . #x224A)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
+ (ucs . #x224A) ; ≊
))
(define-char
'((name . "TRIPLE TILDE")
- (ucs . #x224B)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
+ (ucs . #x224B) ; ≋
))
(define-char
'((name . "ALL EQUAL TO")
- (ucs . #x224C)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (chinese-gb2312 #x21 #x55) ;
+ (chinese-gb2312 . #x2155) ;
+ (ucs . #x224C) ; ≌
))
(define-char
'((name . "EQUIVALENT TO")
- (ucs . #x224D)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
+ (ucs . #x224D) ; ≍
))
(define-char
'((name . "GEOMETRICALLY EQUIVALENT TO")
- (ucs . #x224E)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
+ (ucs . #x224E) ; ≎
))
(define-char
'((name . "DIFFERENCE BETWEEN")
- (ucs . #x224F)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
+ (ucs . #x224F) ; ≏
))
(define-char
'((name . "APPROACHES THE LIMIT")
- (ucs . #x2250)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
+ (ucs . #x2250) ; ≐
))
(define-char
'((name . "GEOMETRICALLY EQUAL TO")
- (ucs . #x2251)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
+ (ucs . #x2251) ; ≑
))
(define-char
'((name . "APPROXIMATELY EQUAL TO OR THE IMAGE OF")
- (ucs . #x2252)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (japanese-jisx0208 #x22 #x62) ;
- (korean-ksc5601 #x21 #x56) ;
- (chinese-cns11643-1 #x22 #x3D) ;
+ (japanese-jisx0208 . #x2262) ;
+ (korean-ksc5601 . #x2156) ;
+ (chinese-cns11643-1 . #x223D) ;
+ (japanese-jisx0208-1990 . #x2262) ; ≒
+ (ucs . #x2252) ; ≒
))
(define-char
'((name . "IMAGE OF OR APPROXIMATELY EQUAL TO")
- (ucs . #x2253)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
+ (ucs . #x2253) ; ≓
))
(define-char
'((name . "COLON EQUALS")
- (ucs . #x2254)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
+ (ucs . #x2254) ; ≔
))
(define-char
'((name . "EQUALS COLON")
- (ucs . #x2255)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
+ (ucs . #x2255) ; ≕
))
(define-char
'((name . "RING IN EQUAL TO")
- (ucs . #x2256)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
+ (ucs . #x2256) ; ≖
))
(define-char
'((name . "RING EQUAL TO")
- (ucs . #x2257)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
+ (ucs . #x2257) ; ≗
))
(define-char
'((name . "CORRESPONDS TO")
- (ucs . #x2258)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
+ (ucs . #x2258) ; ≘
))
(define-char
'((name . "ESTIMATES")
- (ucs . #x2259)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
+ (ucs . #x2259) ; ≙
))
(define-char
'((name . "EQUIANGULAR TO")
- (ucs . #x225A)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
+ (ucs . #x225A) ; ≚
))
(define-char
'((name . "STAR EQUALS")
- (ucs . #x225B)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
+ (ucs . #x225B) ; ≛
))
(define-char
'((name . "DELTA EQUAL TO")
- (ucs . #x225C)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
+ (ucs . #x225C) ; ≜
))
(define-char
'((name . "EQUAL TO BY DEFINITION")
- (ucs . #x225D)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
+ (ucs . #x225D) ; ≝
))
(define-char
'((name . "MEASURED BY")
- (ucs . #x225E)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
+ (ucs . #x225E) ; ≞
))
(define-char
'((name . "QUESTIONED EQUAL TO")
- (ucs . #x225F)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
+ (ucs . #x225F) ; ≟
))
(define-char
'((name . "NOT EQUAL TO")
- (ucs . #x2260)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
(->decomposition #x003D #x0338)
- (japanese-jisx0208-1978 #x21 #x62) ;
- (chinese-gb2312 #x21 #x59) ;
- (japanese-jisx0208 #x21 #x62) ;
- (korean-ksc5601 #x21 #x41) ;
- (chinese-cns11643-1 #x22 #x3B) ;
+ (japanese-jisx0208-1978 . #x2162) ;
+ (chinese-gb2312 . #x2159) ;
+ (japanese-jisx0208 . #x2162) ;
+ (korean-ksc5601 . #x2141) ;
+ (chinese-cns11643-1 . #x223B) ;
+ (japanese-jisx0208-1990 . #x2162) ; ≠
+ (ucs . #x2260) ; ≠
))
(define-char
'((name . "IDENTICAL TO")
- (ucs . #x2261)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
- (chinese-gb2312 #x21 #x54) ;
- (japanese-jisx0208 #x22 #x61) ;
- (korean-ksc5601 #x21 #x55) ;
- (chinese-cns11643-1 #x22 #x3E) ;
+ (chinese-gb2312 . #x2154) ;
+ (japanese-jisx0208 . #x2261) ;
+ (korean-ksc5601 . #x2155) ;
+ (chinese-cns11643-1 . #x223E) ;
+ (japanese-jisx0208-1990 . #x2261) ; ≡
+ (ucs . #x2261) ; ≡
))
(define-char
'((name . "NOT IDENTICAL TO")
- (ucs . #x2262)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
(->decomposition #x2261 #x0338)
- (japanese-jisx0213-1 #x22 #x6B) ; ≢
+ (japanese-jisx0213-1 . #x226B) ; ≢
+ (ucs . #x2262) ; ≢
))
(define-char
'((name . "STRICTLY EQUIVALENT TO")
- (ucs . #x2263)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
+ (ucs . #x2263) ; ≣
))
(define-char
'((name . "LESS-THAN OR EQUAL TO")
- (ucs . #x2264)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (chinese-gb2312 #x21 #x5C) ;
- (korean-ksc5601 #x21 #x42) ;
+ (chinese-gb2312 . #x215C) ;
+ (korean-ksc5601 . #x2142) ;
+ (ucs . #x2264) ; ≤
))
(define-char
'((name . "GREATER-THAN OR EQUAL TO")
- (ucs . #x2265)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (chinese-gb2312 #x21 #x5D) ;
- (korean-ksc5601 #x21 #x43) ;
+ (chinese-gb2312 . #x215D) ;
+ (korean-ksc5601 . #x2143) ;
+ (ucs . #x2265) ; ≥
))
(define-char
'((name . "LESS-THAN OVER EQUAL TO")
- (ucs . #x2266)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (japanese-jisx0208-1978 #x21 #x65) ;
- (japanese-jisx0208 #x21 #x65) ;
- (chinese-cns11643-1 #x22 #x39) ;
+ (japanese-jisx0208-1978 . #x2165) ;
+ (japanese-jisx0208 . #x2165) ;
+ (chinese-cns11643-1 . #x2239) ;
+ (japanese-jisx0208-1990 . #x2165) ; ≦
+ (ucs . #x2266) ; ≦
))
(define-char
'((name . "GREATER-THAN OVER EQUAL TO")
- (ucs . #x2267)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (japanese-jisx0208-1978 #x21 #x66) ;
- (japanese-jisx0208 #x21 #x66) ;
- (chinese-cns11643-1 #x22 #x3A) ;
+ (japanese-jisx0208-1978 . #x2166) ;
+ (japanese-jisx0208 . #x2166) ;
+ (chinese-cns11643-1 . #x223A) ;
+ (japanese-jisx0208-1990 . #x2166) ; ≧
+ (ucs . #x2267) ; ≧
))
(define-char
'((name . "LESS-THAN BUT NOT EQUAL TO")
- (ucs . #x2268)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
+ (ucs . #x2268) ; ≨
))
(define-char
'((name . "GREATER-THAN BUT NOT EQUAL TO")
- (ucs . #x2269)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
+ (ucs . #x2269) ; ≩
))
(define-char
'((name . "MUCH LESS-THAN")
- (ucs . #x226A)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (japanese-jisx0208 #x22 #x63) ;
- (korean-ksc5601 #x21 #x6C) ;
+ (japanese-jisx0208 . #x2263) ;
+ (korean-ksc5601 . #x216C) ;
+ (japanese-jisx0208-1990 . #x2263) ; ≪
+ (ucs . #x226A) ; ≪
))
(define-char
'((name . "MUCH GREATER-THAN")
- (ucs . #x226B)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (japanese-jisx0208 #x22 #x64) ;
- (korean-ksc5601 #x21 #x6D) ;
+ (japanese-jisx0208 . #x2264) ;
+ (korean-ksc5601 . #x216D) ;
+ (japanese-jisx0208-1990 . #x2264) ; ≫
+ (ucs . #x226B) ; ≫
))
(define-char
'((name . "BETWEEN")
- (ucs . #x226C)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
+ (ucs . #x226C) ; ≬
))
(define-char
'((name . "NOT EQUIVALENT TO")
- (ucs . #x226D)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
(->decomposition #x224D #x0338)
+ (ucs . #x226D) ; ≭
))
(define-char
'((name . "NOT LESS-THAN")
- (ucs . #x226E)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
(->decomposition #x003C #x0338)
- (chinese-gb2312 #x21 #x5A) ;
+ (chinese-gb2312 . #x215A) ;
+ (ucs . #x226E) ; ≮
))
(define-char
'((name . "NOT GREATER-THAN")
- (ucs . #x226F)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
(->decomposition #x003E #x0338)
- (chinese-gb2312 #x21 #x5B) ;
+ (chinese-gb2312 . #x215B) ;
+ (ucs . #x226F) ; ≯
))
(define-char
'((name . "NEITHER LESS-THAN NOR EQUAL TO")
- (ucs . #x2270)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
(->decomposition #x2264 #x0338)
+ (ucs . #x2270) ; ≰
))
(define-char
'((name . "NEITHER GREATER-THAN NOR EQUAL TO")
- (ucs . #x2271)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
(->decomposition #x2265 #x0338)
+ (ucs . #x2271) ; ≱
))
(define-char
'((name . "LESS-THAN OR EQUIVALENT TO")
- (ucs . #x2272)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
+ (ucs . #x2272) ; ≲
))
(define-char
'((name . "GREATER-THAN OR EQUIVALENT TO")
- (ucs . #x2273)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
+ (ucs . #x2273) ; ≳
))
(define-char
'((name . "NEITHER LESS-THAN NOR EQUIVALENT TO")
- (ucs . #x2274)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
(->decomposition #x2272 #x0338)
+ (ucs . #x2274) ; ≴
))
(define-char
'((name . "NEITHER GREATER-THAN NOR EQUIVALENT TO")
- (ucs . #x2275)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
(->decomposition #x2273 #x0338)
+ (ucs . #x2275) ; ≵
))
(define-char
'((name . "LESS-THAN OR GREATER-THAN")
- (ucs . #x2276)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (japanese-jisx0213-1 #x22 #x6F) ; ≶
+ (japanese-jisx0213-1 . #x226F) ; ≶
+ (ucs . #x2276) ; ≶
))
(define-char
'((name . "GREATER-THAN OR LESS-THAN")
- (ucs . #x2277)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (japanese-jisx0213-1 #x22 #x70) ; ≷
+ (japanese-jisx0213-1 . #x2270) ; ≷
+ (ucs . #x2277) ; ≷
))
(define-char
'((name . "NEITHER LESS-THAN NOR GREATER-THAN")
- (ucs . #x2278)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
(->decomposition #x2276 #x0338)
+ (ucs . #x2278) ; ≸
))
(define-char
'((name . "NEITHER GREATER-THAN NOR LESS-THAN")
- (ucs . #x2279)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
(->decomposition #x2277 #x0338)
+ (ucs . #x2279) ; ≹
))
(define-char
'((name . "PRECEDES")
- (ucs . #x227A)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
+ (ucs . #x227A) ; ≺
))
(define-char
'((name . "SUCCEEDS")
- (ucs . #x227B)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
+ (ucs . #x227B) ; ≻
))
(define-char
'((name . "PRECEDES OR EQUAL TO")
- (ucs . #x227C)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
+ (ucs . #x227C) ; ≼
))
(define-char
'((name . "SUCCEEDS OR EQUAL TO")
- (ucs . #x227D)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
+ (ucs . #x227D) ; ≽
))
(define-char
'((name . "PRECEDES OR EQUIVALENT TO")
- (ucs . #x227E)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
+ (ucs . #x227E) ; ≾
))
(define-char
'((name . "SUCCEEDS OR EQUIVALENT TO")
- (ucs . #x227F)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
+ (ucs . #x227F) ; ≿
))
(define-char
'((name . "DOES NOT PRECEDE")
- (ucs . #x2280)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
(->decomposition #x227A #x0338)
+ (ucs . #x2280) ; ⊀
))
(define-char
'((name . "DOES NOT SUCCEED")
- (ucs . #x2281)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
(->decomposition #x227B #x0338)
+ (ucs . #x2281) ; ⊁
))
(define-char
'((name . "SUBSET OF")
- (ucs . #x2282)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (japanese-jisx0208 #x22 #x3E) ;
- (korean-ksc5601 #x21 #x78) ;
+ (japanese-jisx0208 . #x223E) ;
+ (korean-ksc5601 . #x2178) ;
+ (japanese-jisx0208-1990 . #x223E) ; ⊂
+ (ucs . #x2282) ; ⊂
))
(define-char
'((name . "SUPERSET OF")
- (ucs . #x2283)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (japanese-jisx0208 #x22 #x3F) ;
- (korean-ksc5601 #x21 #x79) ;
+ (japanese-jisx0208 . #x223F) ;
+ (korean-ksc5601 . #x2179) ;
+ (japanese-jisx0208-1990 . #x223F) ; ⊃
+ (ucs . #x2283) ; ⊃
))
(define-char
'((name . "NOT A SUBSET OF")
- (ucs . #x2284)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
(->decomposition #x2282 #x0338)
- (japanese-jisx0213-1 #x22 #x42) ; ⊄
+ (japanese-jisx0213-1 . #x2242) ; ⊄
+ (ucs . #x2284) ; ⊄
))
(define-char
'((name . "NOT A SUPERSET OF")
- (ucs . #x2285)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
(->decomposition #x2283 #x0338)
- (japanese-jisx0213-1 #x22 #x43) ; ⊅
+ (japanese-jisx0213-1 . #x2243) ; ⊅
+ (ucs . #x2285) ; ⊅
))
(define-char
'((name . "SUBSET OF OR EQUAL TO")
- (ucs . #x2286)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (japanese-jisx0208 #x22 #x3C) ;
- (korean-ksc5601 #x21 #x76) ;
+ (japanese-jisx0208 . #x223C) ;
+ (korean-ksc5601 . #x2176) ;
+ (japanese-jisx0208-1990 . #x223C) ; ⊆
+ (ucs . #x2286) ; ⊆
))
(define-char
'((name . "SUPERSET OF OR EQUAL TO")
- (ucs . #x2287)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (japanese-jisx0208 #x22 #x3D) ;
- (korean-ksc5601 #x21 #x77) ;
+ (japanese-jisx0208 . #x223D) ;
+ (korean-ksc5601 . #x2177) ;
+ (japanese-jisx0208-1990 . #x223D) ; ⊇
+ (ucs . #x2287) ; ⊇
))
(define-char
'((name . "NEITHER A SUBSET OF NOR EQUAL TO")
- (ucs . #x2288)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
(->decomposition #x2286 #x0338)
+ (ucs . #x2288) ; ⊈
))
(define-char
'((name . "NEITHER A SUPERSET OF NOR EQUAL TO")
- (ucs . #x2289)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
(->decomposition #x2287 #x0338)
+ (ucs . #x2289) ; ⊉
))
(define-char
'((name . "SUBSET OF WITH NOT EQUAL TO")
- (ucs . #x228A)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (japanese-jisx0213-1 #x22 #x44) ; ⊊
+ (japanese-jisx0213-1 . #x2244) ; ⊊
+ (ucs . #x228A) ; ⊊
))
(define-char
'((name . "SUPERSET OF WITH NOT EQUAL TO")
- (ucs . #x228B)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (japanese-jisx0213-1 #x22 #x45) ; ⊋
+ (japanese-jisx0213-1 . #x2245) ; ⊋
+ (ucs . #x228B) ; ⊋
))
(define-char
'((name . "MULTISET")
- (ucs . #x228C)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
+ (ucs . #x228C) ; ⊌
))
(define-char
'((name . "MULTISET MULTIPLICATION")
- (ucs . #x228D)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
+ (ucs . #x228D) ; ⊍
))
(define-char
'((name . "MULTISET UNION")
- (ucs . #x228E)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
+ (ucs . #x228E) ; ⊎
))
(define-char
'((name . "SQUARE IMAGE OF")
- (ucs . #x228F)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
+ (ucs . #x228F) ; ⊏
))
(define-char
'((name . "SQUARE ORIGINAL OF")
- (ucs . #x2290)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
+ (ucs . #x2290) ; ⊐
))
(define-char
'((name . "SQUARE IMAGE OF OR EQUAL TO")
- (ucs . #x2291)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
+ (ucs . #x2291) ; ⊑
))
(define-char
'((name . "SQUARE ORIGINAL OF OR EQUAL TO")
- (ucs . #x2292)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
+ (ucs . #x2292) ; ⊒
))
(define-char
'((name . "SQUARE CAP")
- (ucs . #x2293)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
+ (ucs . #x2293) ; ⊓
))
(define-char
'((name . "SQUARE CUP")
- (ucs . #x2294)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
+ (ucs . #x2294) ; ⊔
))
(define-char
'((name . "CIRCLED PLUS")
- (ucs . #x2295)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
- (chinese-cns11643-1 #x22 #x53) ;
- (japanese-jisx0213-1 #x22 #x51) ; ⊕
+ (chinese-cns11643-1 . #x2253) ;
+ (japanese-jisx0213-1 . #x2251) ; ⊕
+ (ucs . #x2295) ; ⊕
))
(define-char
'((name . "CIRCLED MINUS")
- (ucs . #x2296)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
- (japanese-jisx0213-1 #x22 #x52) ; ⊖
+ (japanese-jisx0213-1 . #x2252) ; ⊖
+ (ucs . #x2296) ; ⊖
))
(define-char
'((name . "CIRCLED TIMES")
- (ucs . #x2297)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
- (japanese-jisx0213-1 #x22 #x53) ; ⊗
+ (japanese-jisx0213-1 . #x2253) ; ⊗
+ (ucs . #x2297) ; ⊗
))
(define-char
'((name . "CIRCLED DIVISION SLASH")
- (ucs . #x2298)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
+ (ucs . #x2298) ; ⊘
))
(define-char
'((name . "CIRCLED DOT OPERATOR")
- (ucs . #x2299)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
- (chinese-gb2312 #x21 #x51) ;
- (korean-ksc5601 #x22 #x41) ;
- (chinese-cns11643-1 #x22 #x54) ;
+ (chinese-gb2312 . #x2151) ;
+ (korean-ksc5601 . #x2241) ;
+ (chinese-cns11643-1 . #x2254) ;
+ (ucs . #x2299) ; ⊙
))
(define-char
'((name . "CIRCLED RING OPERATOR")
- (ucs . #x229A)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
+ (ucs . #x229A) ; ⊚
))
(define-char
'((name . "CIRCLED ASTERISK OPERATOR")
- (ucs . #x229B)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
+ (ucs . #x229B) ; ⊛
))
(define-char
'((name . "CIRCLED EQUALS")
- (ucs . #x229C)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
+ (ucs . #x229C) ; ⊜
))
(define-char
'((name . "CIRCLED DASH")
- (ucs . #x229D)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
+ (ucs . #x229D) ; ⊝
))
(define-char
'((name . "SQUARED PLUS")
- (ucs . #x229E)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
+ (ucs . #x229E) ; ⊞
))
(define-char
'((name . "SQUARED MINUS")
- (ucs . #x229F)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
+ (ucs . #x229F) ; ⊟
))
(define-char
'((name . "SQUARED TIMES")
- (ucs . #x22A0)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
+ (ucs . #x22A0) ; ⊠
))
(define-char
'((name . "SQUARED DOT OPERATOR")
- (ucs . #x22A1)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
+ (ucs . #x22A1) ; ⊡
))
(define-char
'((name . "RIGHT TACK")
- (ucs . #x22A2)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
+ (ucs . #x22A2) ; ⊢
))
(define-char
'((name . "LEFT TACK")
- (ucs . #x22A3)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
+ (ucs . #x22A3) ; ⊣
))
(define-char
'((name . "DOWN TACK")
- (ucs . #x22A4)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
+ (ucs . #x22A4) ; ⊤
))
(define-char
'((name . "UP TACK")
- (ucs . #x22A5)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
- (chinese-gb2312 #x21 #x4D) ;
- (japanese-jisx0208 #x22 #x5D) ;
- (korean-ksc5601 #x21 #x51) ;
- (chinese-cns11643-1 #x22 #x47) ;
+ (chinese-gb2312 . #x214D) ;
+ (japanese-jisx0208 . #x225D) ;
+ (korean-ksc5601 . #x2151) ;
+ (chinese-cns11643-1 . #x2247) ;
+ (japanese-jisx0208-1990 . #x225D) ; ⊥
+ (ucs . #x22A5) ; ⊥
))
(define-char
'((name . "ASSERTION")
- (ucs . #x22A6)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
+ (ucs . #x22A6) ; ⊦
))
(define-char
'((name . "MODELS")
- (ucs . #x22A7)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
+ (ucs . #x22A7) ; ⊧
))
(define-char
'((name . "TRUE")
- (ucs . #x22A8)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
+ (ucs . #x22A8) ; ⊨
))
(define-char
'((name . "FORCES")
- (ucs . #x22A9)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
+ (ucs . #x22A9) ; ⊩
))
(define-char
'((name . "TRIPLE VERTICAL BAR RIGHT TURNSTILE")
- (ucs . #x22AA)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
+ (ucs . #x22AA) ; ⊪
))
(define-char
'((name . "DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE")
- (ucs . #x22AB)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
+ (ucs . #x22AB) ; ⊫
))
(define-char
'((name . "DOES NOT PROVE")
- (ucs . #x22AC)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
(->decomposition #x22A2 #x0338)
+ (ucs . #x22AC) ; ⊬
))
(define-char
'((name . "NOT TRUE")
- (ucs . #x22AD)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
(->decomposition #x22A8 #x0338)
+ (ucs . #x22AD) ; ⊭
))
(define-char
'((name . "DOES NOT FORCE")
- (ucs . #x22AE)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
(->decomposition #x22A9 #x0338)
+ (ucs . #x22AE) ; ⊮
))
(define-char
'((name . "NEGATED DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE")
- (ucs . #x22AF)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
(->decomposition #x22AB #x0338)
+ (ucs . #x22AF) ; ⊯
))
(define-char
'((name . "PRECEDES UNDER RELATION")
- (ucs . #x22B0)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
+ (ucs . #x22B0) ; ⊰
))
(define-char
'((name . "SUCCEEDS UNDER RELATION")
- (ucs . #x22B1)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
+ (ucs . #x22B1) ; ⊱
))
(define-char
'((name . "NORMAL SUBGROUP OF")
- (ucs . #x22B2)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
+ (ucs . #x22B2) ; ⊲
))
(define-char
'((name . "CONTAINS AS NORMAL SUBGROUP")
- (ucs . #x22B3)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
+ (ucs . #x22B3) ; ⊳
))
(define-char
'((name . "NORMAL SUBGROUP OF OR EQUAL TO")
- (ucs . #x22B4)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
+ (ucs . #x22B4) ; ⊴
))
(define-char
'((name . "CONTAINS AS NORMAL SUBGROUP OR EQUAL TO")
- (ucs . #x22B5)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
+ (ucs . #x22B5) ; ⊵
))
(define-char
'((name . "ORIGINAL OF")
- (ucs . #x22B6)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
+ (ucs . #x22B6) ; ⊶
))
(define-char
'((name . "IMAGE OF")
- (ucs . #x22B7)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
+ (ucs . #x22B7) ; ⊷
))
(define-char
'((name . "MULTIMAP")
- (ucs . #x22B8)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
+ (ucs . #x22B8) ; ⊸
))
(define-char
'((name . "HERMITIAN CONJUGATE MATRIX")
- (ucs . #x22B9)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
+ (ucs . #x22B9) ; ⊹
))
(define-char
'((name . "INTERCALATE")
- (ucs . #x22BA)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
+ (ucs . #x22BA) ; ⊺
))
(define-char
'((name . "XOR")
- (ucs . #x22BB)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
+ (ucs . #x22BB) ; ⊻
))
(define-char
'((name . "NAND")
- (ucs . #x22BC)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
+ (ucs . #x22BC) ; ⊼
))
(define-char
'((name . "NOR")
- (ucs . #x22BD)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
+ (ucs . #x22BD) ; ⊽
))
(define-char
'((name . "RIGHT ANGLE WITH ARC")
- (ucs . #x22BE)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
+ (ucs . #x22BE) ; ⊾
))
(define-char
'((name . "RIGHT TRIANGLE")
- (ucs . #x22BF)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (chinese-cns11643-1 #x22 #x4A) ;
- (japanese-jisx0213-1 #x2D #x79) ; ⊿
+ (chinese-cns11643-1 . #x224A) ;
+ (japanese-jisx0213-1 . #x2D79) ; ⊿
+ (ucs . #x22BF) ; ⊿
))
(define-char
'((name . "N-ARY LOGICAL AND")
- (ucs . #x22C0)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
+ (ucs . #x22C0) ; ⋀
))
(define-char
'((name . "N-ARY LOGICAL OR")
- (ucs . #x22C1)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
+ (ucs . #x22C1) ; ⋁
))
(define-char
'((name . "N-ARY INTERSECTION")
- (ucs . #x22C2)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
+ (ucs . #x22C2) ; ⋂
))
(define-char
'((name . "N-ARY UNION")
- (ucs . #x22C3)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
+ (ucs . #x22C3) ; ⋃
))
(define-char
'((name . "DIAMOND OPERATOR")
- (ucs . #x22C4)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
+ (ucs . #x22C4) ; ⋄
))
(define-char
'((name . "DOT OPERATOR")
- (ucs . #x22C5)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
+ (ucs . #x22C5) ; ⋅
))
(define-char
'((name . "STAR OPERATOR")
- (ucs . #x22C6)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
+ (ucs . #x22C6) ; ⋆
))
(define-char
'((name . "DIVISION TIMES")
- (ucs . #x22C7)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
+ (ucs . #x22C7) ; ⋇
))
(define-char
'((name . "BOWTIE")
- (ucs . #x22C8)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
+ (ucs . #x22C8) ; ⋈
))
(define-char
'((name . "LEFT NORMAL FACTOR SEMIDIRECT PRODUCT")
- (ucs . #x22C9)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
+ (ucs . #x22C9) ; ⋉
))
(define-char
'((name . "RIGHT NORMAL FACTOR SEMIDIRECT PRODUCT")
- (ucs . #x22CA)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
+ (ucs . #x22CA) ; ⋊
))
(define-char
'((name . "LEFT SEMIDIRECT PRODUCT")
- (ucs . #x22CB)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
+ (ucs . #x22CB) ; ⋋
))
(define-char
'((name . "RIGHT SEMIDIRECT PRODUCT")
- (ucs . #x22CC)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
+ (ucs . #x22CC) ; ⋌
))
(define-char
'((name . "REVERSED TILDE EQUALS")
- (ucs . #x22CD)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
+ (ucs . #x22CD) ; ⋍
))
(define-char
'((name . "CURLY LOGICAL OR")
- (ucs . #x22CE)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
+ (ucs . #x22CE) ; ⋎
))
(define-char
'((name . "CURLY LOGICAL AND")
- (ucs . #x22CF)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
+ (ucs . #x22CF) ; ⋏
))
(define-char
'((name . "DOUBLE SUBSET")
- (ucs . #x22D0)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
+ (ucs . #x22D0) ; ⋐
))
(define-char
'((name . "DOUBLE SUPERSET")
- (ucs . #x22D1)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
+ (ucs . #x22D1) ; ⋑
))
(define-char
'((name . "DOUBLE INTERSECTION")
- (ucs . #x22D2)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
+ (ucs . #x22D2) ; ⋒
))
(define-char
'((name . "DOUBLE UNION")
- (ucs . #x22D3)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
+ (ucs . #x22D3) ; ⋓
))
(define-char
'((name . "PITCHFORK")
- (ucs . #x22D4)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
+ (ucs . #x22D4) ; ⋔
))
(define-char
'((name . "EQUAL AND PARALLEL TO")
- (ucs . #x22D5)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
+ (ucs . #x22D5) ; ⋕
))
(define-char
'((name . "LESS-THAN WITH DOT")
- (ucs . #x22D6)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
+ (ucs . #x22D6) ; ⋖
))
(define-char
'((name . "GREATER-THAN WITH DOT")
- (ucs . #x22D7)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
+ (ucs . #x22D7) ; ⋗
))
(define-char
'((name . "VERY MUCH LESS-THAN")
- (ucs . #x22D8)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
+ (ucs . #x22D8) ; ⋘
))
(define-char
'((name . "VERY MUCH GREATER-THAN")
- (ucs . #x22D9)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
+ (ucs . #x22D9) ; ⋙
))
(define-char
'((name . "LESS-THAN EQUAL TO OR GREATER-THAN")
- (ucs . #x22DA)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (japanese-jisx0213-1 #x27 #x76) ; ⋚
+ (japanese-jisx0213-1 . #x2776) ; ⋚
+ (ucs . #x22DA) ; ⋚
))
(define-char
'((name . "GREATER-THAN EQUAL TO OR LESS-THAN")
- (ucs . #x22DB)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (japanese-jisx0213-1 #x27 #x77) ; ⋛
+ (japanese-jisx0213-1 . #x2777) ; ⋛
+ (ucs . #x22DB) ; ⋛
))
(define-char
'((name . "EQUAL TO OR LESS-THAN")
- (ucs . #x22DC)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
+ (ucs . #x22DC) ; ⋜
))
(define-char
'((name . "EQUAL TO OR GREATER-THAN")
- (ucs . #x22DD)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
+ (ucs . #x22DD) ; ⋝
))
(define-char
'((name . "EQUAL TO OR PRECEDES")
- (ucs . #x22DE)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
+ (ucs . #x22DE) ; ⋞
))
(define-char
'((name . "EQUAL TO OR SUCCEEDS")
- (ucs . #x22DF)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
+ (ucs . #x22DF) ; ⋟
))
(define-char
'((name . "DOES NOT PRECEDE OR EQUAL")
- (ucs . #x22E0)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
(->decomposition #x227C #x0338)
+ (ucs . #x22E0) ; ⋠
))
(define-char
'((name . "DOES NOT SUCCEED OR EQUAL")
- (ucs . #x22E1)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
(->decomposition #x227D #x0338)
+ (ucs . #x22E1) ; ⋡
))
(define-char
'((name . "NOT SQUARE IMAGE OF OR EQUAL TO")
- (ucs . #x22E2)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
(->decomposition #x2291 #x0338)
+ (ucs . #x22E2) ; ⋢
))
(define-char
'((name . "NOT SQUARE ORIGINAL OF OR EQUAL TO")
- (ucs . #x22E3)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
(->decomposition #x2292 #x0338)
+ (ucs . #x22E3) ; ⋣
))
(define-char
'((name . "SQUARE IMAGE OF OR NOT EQUAL TO")
- (ucs . #x22E4)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
+ (ucs . #x22E4) ; ⋤
))
(define-char
'((name . "SQUARE ORIGINAL OF OR NOT EQUAL TO")
- (ucs . #x22E5)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
+ (ucs . #x22E5) ; ⋥
))
(define-char
'((name . "LESS-THAN BUT NOT EQUIVALENT TO")
- (ucs . #x22E6)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
+ (ucs . #x22E6) ; ⋦
))
(define-char
'((name . "GREATER-THAN BUT NOT EQUIVALENT TO")
- (ucs . #x22E7)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
+ (ucs . #x22E7) ; ⋧
))
(define-char
'((name . "PRECEDES BUT NOT EQUIVALENT TO")
- (ucs . #x22E8)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
+ (ucs . #x22E8) ; ⋨
))
(define-char
'((name . "SUCCEEDS BUT NOT EQUIVALENT TO")
- (ucs . #x22E9)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
+ (ucs . #x22E9) ; ⋩
))
(define-char
'((name . "NOT NORMAL SUBGROUP OF")
- (ucs . #x22EA)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
(->decomposition #x22B2 #x0338)
+ (ucs . #x22EA) ; ⋪
))
(define-char
'((name . "DOES NOT CONTAIN AS NORMAL SUBGROUP")
- (ucs . #x22EB)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
(->decomposition #x22B3 #x0338)
+ (ucs . #x22EB) ; ⋫
))
(define-char
'((name . "NOT NORMAL SUBGROUP OF OR EQUAL TO")
- (ucs . #x22EC)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
(->decomposition #x22B4 #x0338)
+ (ucs . #x22EC) ; ⋬
))
(define-char
'((name . "DOES NOT CONTAIN AS NORMAL SUBGROUP OR EQUAL")
- (ucs . #x22ED)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
(->decomposition #x22B5 #x0338)
+ (ucs . #x22ED) ; ⋭
))
(define-char
'((name . "VERTICAL ELLIPSIS")
- (ucs . #x22EE)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
+ (ucs . #x22EE) ; ⋮
))
(define-char
'((name . "MIDLINE HORIZONTAL ELLIPSIS")
- (ucs . #x22EF)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
+ (ucs . #x22EF) ; ⋯
))
(define-char
'((name . "UP RIGHT DIAGONAL ELLIPSIS")
- (ucs . #x22F0)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
+ (ucs . #x22F0) ; ⋰
))
(define-char
'((name . "DOWN RIGHT DIAGONAL ELLIPSIS")
- (ucs . #x22F1)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
+ (ucs . #x22F1) ; ⋱
))