+ (=ucs@big5 . #x5315) ; &J97-5238;
+ (=>jis-x0208 . #x5238) ; &J97-5238; [50-24]
+ (=>jis-x0213-1 . #x5238) ; &J97-5238; [50-24]
+ (=big5 . #xA450) ; &J97-5238;
+ ))
+(define-char
+ '((<-denotational
+ ((=ucs@big5 . #x5315) ; &J97-5238;
+ (=>jis-x0208 . #x5238) ; &J97-5238; [50-24]