(U+723B): Use `->denotational' and `->subsumptive'.