(U+8A01): Add `<-denotational' for G0-5154; add