- (=>>ucs@unicode . #x7257) ; &G-JX2-7031;
- (=>>jis-x0213-2 . #x7031) ; &G-JX2-7031; [80-17]
- (=>>cbeta . 04523) ; &G-JX2-7031;
+ (=>>ucs@unicode . #x7257) ; &G-AJ1-18047;
+ (=>>adobe-japan1-5 . 18047) ; &G-AJ1-18047;
+ (=>>jis-x0213-2 . #x7031) ; &G-AJ1-18047; [80-17]
+ (=>>cbeta . 04523) ; &G-AJ1-18047;