Comment by __mharrison__

Have been using this in my terminal, editors, and books for a few years.

Lovely font.