(GT-K00564): New character; use `<-denotational@component' for