(U+51B5): Add `<-denotational@usage' for A2-DJT-00143.