In a plain Jupyter notebook, it was possible to specify a suitable font by adding it to ~/.jupyter/custom/custom.css
. This allowed me to specify a font such as JuliaMono[¹] that can correctly handle special characters, and this allowed me to use packages such as UnicodePlots.jl:
Unfortunately I can’t find out where the equivalent file for JupyterLab is.
Do the settings have a place where you can specify a font file?