@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.

—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or unsubscribe.