(U+58F0): Add `<-denotational' for BUCS+8072.