(MJ057023): New character; use `<-denotational' for BUCS+5305; unify