(U-000200A1): Add `<-denotational' for A-compU+200A1; apply new