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