(A-MJ057415): New abstract node; use `<-denotational' for U+5DFB.