(U+6588): Use `<-denotational@usage' instead of `<-denotational' for