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