(U+7676-itaiji-005): New character; use `<-denotational' for