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