(U+7C7E): Use `->denotational' instead of `->subsumptive'.