(U-00021DAB): Add `<-denotational' for A-IWDSU+21D0E; add