(CB09810): New character; use `<-denotational@usage' for BUCS+5433.