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