(BC-8CC9-itaiji-002): New character; use `<-denotational' for