+ '((<-denotational
+ ((=ucs . #x7280) ; 犀
+ ))
+ (ideographic-radical . 93) ; ⽜
+ (=+>ucs@unicode . #x7280) ; &o-J0-3A54;
+ (=+>jis-x0208 . #x3A54) ; &o-J0-3A54; [26-52]
+ (=+>jis-x0213-1 . #x3A54) ; &o-J0-3A54; [26-52]
+ (=+>gt . 25725) ; &o-J0-3A54;
+ ))
+(define-char
+ '((<-denotational
+ ((=+>ucs@unicode . #x7280) ; &o-J0-3A54;
+ (=+>jis-x0208 . #x3A54) ; &o-J0-3A54; [26-52]
+ ))
+ (ideographic-radical . 93) ; ⽜
+ (ideographic-strokes . 8)
+ (total-strokes . 12)
+ (=ucs@unicode . #x7280) ; &AJ1-02116;
+ (=adobe-japan1-0 . 02116) ; &AJ1-02116;
+ (=jis-x0208 . #x3A54) ; &I-J90-3A54; [26-52]
+ (=gb2312 . #x4F2C) ; &I-G0-4F2C; [47-12]
+ (=ks-x1001 . #x5F79) ; &I-K0-5F79; [63-89]
+ (=cns11643-1 . #x6058) ; &I-C1-6058; [64-56]
+ (=jis-x0213-1 . #x3A54) ; &I-JX1-3A54; [26-52]
+ (=big5 . #xB552) ; &I-B-B552;
+ (=gt . 25725) ; &I-GT-25725;
+ (=gt-k . 09054) ; &I-GT-K09054;
+ (=gt-pj-1 . #x3A54) ; &I-GT-25725; [26-52]
+ (=daikanwa . 20045) ; &I-M-20045;
+ (=shinjigen . 4748) ; &AJ1-02116;
+ (->subsumptive
+ ((==ucs@jis . #x7280) ; &g2-AJ1-02116;
+ (==ucs@ks . #x7280) ; &g2-AJ1-02116;
+ (==adobe-japan1-0 . 02116) ; &g2-AJ1-02116;
+ (==ks-x1001 . #x5F79) ; &g2-AJ1-02116; [63-89]
+ (==jis-x0208 . #x3A54) ; &g2-AJ1-02116; [26-52]
+ (==jis-x0213-1 . #x3A54) ; &g2-AJ1-02116; [26-52]
+ (==gt . 25725) ; &g2-AJ1-02116;
+ (==gt-k . 09054) ; &g2-AJ1-02116;
+ (==daikanwa . 20045) ; &g2-AJ1-02116;
+ (==shinjigen . 4748) ; &g2-AJ1-02116;
+ (->subsumptive
+ ((===daikanwa . 20045) ; &R-M-20045;
+ )
+ ((===jis-x0208 . #x3A54) ; &R-J0-3A54; [26-52]
+ (===jis-x0213-1 . #x3A54) ; &R-J0-3A54; [26-52]
+ )
+ ((===adobe-japan1-0 . 02116) ; &R-AJ1-02116;
+ )
+ ((===gt . 25725) ; &R-GT-25725;
+ (===gt-k . 09054) ; &R-GT-25725;
+ )
+ ((===ucs@ks . #x7280) ; &R-K0-5F79;
+ (===ks-x1001 . #x5F79) ; &R-K0-5F79; [63-89]
+ ))
+ )
+ ((==ucs@unicode . #x7280) ; &g2-UU+7280;
+ (==ucs@JP/hanazono . nil)
+ (==gb2312 . #x4F2C) ; &g2-UU+7280; [47-12]
+ (==cns11643-1 . #x6058) ; &g2-UU+7280; [64-56]
+ (->subsumptive
+ ((===cns11643-1 . #x6058) ; &R-C1-6058; [64-56]
+ )
+ ((===ucs@unicode . #x7280) ; &R-UU+7280;
+ ))
+ ))
+ ))
+(define-char