(GT-K11025): New character; use `<-denotational' for BUCS+5967.