(U+5217): Add `<-denotational@usage' for BUCS+5217.