(MJ017682): New character; unify HD-KS244780; add `<-denotational' for