+ '((<-denotational
+ ((name . "ARC")
+ (=ucs . #x2312) ; ⌒
+ ))
+ (=gb2312 . #x2150) ; &J90-225E; [01-48]
+ (=jis-x0208@1983 . #x225E) ; &I-J83-225E; [02-62]
+ (=ks-x1001 . #x2152) ; &I-K0-2152; [01-50]
+ (=jis-x0208@1990 . #x225E) ; &I-J90-225E; [02-62]
+ (=ucs@gb . #x2312) ; &J90-225E;
+ (=ucs@jis . #x2312) ; &J90-225E;
+ (=ucs@ks . #x2312) ; &J90-225E;
+ (<-fullwidth
+ ((name . "ARC")
+ (=ucs . #x2312) ; ⌒
+ ))
+ ))
+(define-char