(CB07311): New character; use `<-denotational' for U-000200A2.