What is the name of the font that the Windows 7 Command Line uses?
88362
What is the "raster fonts" option in windows cmd appearance settings?
27781
What are all the font styles I can use in math mode?
56722
How to get and set default font parameters for Plot, ListPlot, LogPlot, etc.?
79716
How do I figure out which font file is chosen for a system generic font alias?
106231
Finding a font for XeTeX
158668
How do I change the font colours for grub?
54988
What font is used on Windows 8 or Windows Phone 8?
71247
Spaces in font names
85408
How to change / configure font fallback?
79523
Can the default font be changed?
63729
Can I change the font systemwide (10.8.3)
38374
Weird font in system windows
35578
Set default font for Output
28243
Font characters displayed as squares in Ubuntu 18.04
122625
Escape angle brackets in a Windows command prompt
125801
How do I determine if my system is Windows 10 using the command line?
32954
What desktop environments can group window icons in the taskbar like Windows 7?