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