(A-IWDSU+826E): Add `<-denotational@component' for A-IWDSU+7680.