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