I found two ways to change the TTY font:
Either way I'm limited to the fonts in /usr/share/consolefonts (I'm using Debian).
- How do I install new console fonts?
- What are the requirements for this kind of font?
- ... in particular: would it be possible to use Anonymous Pro as console font?