(U+51E1-var-001): New character; use `<-denotational' for U+51E1.