(U+533F-var-001): New character; use `<-denotational' for o-UU+533F.