(U+5F31-var-004): New character; use `<-denotational' for U+5F31.