https://stackoverflow.com/questions/388490/how-to-use-unicode-characters-in-windows-command-line
basically the font you’re using doesn’t have those characters.
https://cormullion.github.io/pages/2020-07-26-JuliaMono/#windows
https://stackoverflow.com/questions/388490/how-to-use-unicode-characters-in-windows-command-line
basically the font you’re using doesn’t have those characters.
https://cormullion.github.io/pages/2020-07-26-JuliaMono/#windows