(U+7528): Add `<-denotational@usage' for BUCS+7528; apply new