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