(GT-K00385): New character; use `<-denotational' for A-GT-K00291.