(BC-88C6): New character; use `<-denotational@component' for