this typographic rendition of “de” is now my favorite Latin character (apparently) not in Unicode. I should file an issue with the UTC.