(BC-88B3-var-001): New character; use `<-denotational' for A-BC-88B3.