(U+23B0B-itaiji-003): New character; use `<-denotational' for