(U+5193-var-003): New character; use `<-denotational' for U+5193.