(A-MJ058016): New abstract node; use `<-denotational' for U+722F.