(U+53A7): Use `->denotational' and `->subsumptive'.