(U+2585E-var-001): New character; add `<-denotational' for U-0002585E;