(U+9B32-itaiji-001): New character; use `<-denotational' for