+ (->subsumptive
+ ((==ucs@unicode . #x5140) ; &g2-AJ1-04209;
+ (==adobe-japan1-0 . 04209) ; &g2-AJ1-04209;
+ (==gb2312 . #x5823) ; &g2-AJ1-04209; [56-03]
+ (==ks-x1001 . #x6834) ; &g2-AJ1-04209; [72-20]
+ (==jis-x0208 . #x513A) ; &g2-AJ1-04209; [49-26]
+ (==cns11643-1 . #x4442) ; &g2-AJ1-04209; [36-34]
+ (==jis-x0213-1 . #x513A) ; &g2-AJ1-04209; [49-26]
+ (==gt . 01732) ; &g2-AJ1-04209;
+ (==gt-k . 00211) ; &g2-AJ1-04209;
+ (==daikanwa . 01337) ; &g2-AJ1-04209;
+ (==shinjigen . 0445) ; &g2-AJ1-04209;
+ (->subsumptive
+ ((===daikanwa . 01337) ; &R-M-01337;
+ )
+ ((===jis-x0208 . #x513A) ; &R-J0-513A; [49-26]
+ (===jis-x0213-1 . #x513A) ; &R-J0-513A; [49-26]
+ )
+ ((===adobe-japan1-0 . 04209) ; &R-AJ1-04209;
+ )
+ ((===cns11643-1 . #x4442) ; &R-C1-4442; [36-34]
+ )
+ ((===gt . 01732) ; &R-GT-01732;
+ (===gt-k . 00211) ; &R-GT-01732;
+ )
+ ((===ucs@ks . #x5140) ; &R-K0-6834;
+ (===ks-x1001 . #x6834) ; &R-K0-6834; [72-20]
+ )
+ ((===ucs@unicode . #x5140) ; &R-UU+5140;
+ ))
+ ))