(U+5507): Add `<-denotational@usage' for BUCS+8123 and BUCS+5507;