(U-0002D592): New character; use `<-denotational@component' for