(U+714A): Use `->denotational' and `->subsumptive'; add `<-formed' for