(BC-87A5-var-001): New character; use `<-denotational' for BC-87A5.