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