- ((==ucs@unicode . #x7C3E) ; &C1-7859;
- (=cns11643-1 . #x7859) ; &C1-7859; [88-57]
- (==gb12345 . #x4131) ; &C1-7859; [33-17]
+ ((==ucs@unicode . #x7C3E) ; &R-UU+7C3E;
+ (==cns11643-1 . #x7859) ; &R-UU+7C3E; [88-57]
+ (==gb12345 . #x4131) ; &R-UU+7C3E; [33-17]