(U+7CF9): Use `<-denotational' for U+7CF8.