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