((=ucs@unicode . #x5F13) ; &AJ1-01655;
(=adobe-japan1-0 . 01655) ; &AJ1-01655;
)
- ((=ucs@unicode . #x723E) ; &AJ1-02256;
- (=adobe-japan1-0 . 02256) ; &AJ1-02256;
+ ((=ucs@unicode . #x723E) ; &MJ016762;
+ (=mj . 016762) ; &MJ016762;
))
(=ucs@unicode . #x5F4C) ; &AJ1-04776;
(=adobe-japan1-0 . 04776) ; &AJ1-04776;