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