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

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