@esotericpig doesn't work here.
Note: the symbol in the symbols tab is `isplay` no curly D and the display is not **bolded** (not highlight as the OP called it).
Oh, you're right, my bad. I had to save it to a file (not just a file buffer with setting the file type manually) for the bold and symbols to show up, not sure if that is also a bug.