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