(U+56DE-itaiji-002): New character; use `<-denotational' for