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