The “symbol” font is used by the PDF backend. That cannot be changed. That’s standard font all the good pdf previewer should know. If not that’s a bug in the previewer.
The “symbol” font is used by the PDF backend. That cannot be changed. That’s standard font all the good pdf previewer should know. If not that’s a bug in the previewer.