(U+72D2): Add `<-denotational@usage' for BUCS+72D2; add