Terminal Guide

(used by other terminals)

Set: 20
Reset: 23 or 10
other

other ( )

espterm: "Fraktur" https://espterm.github.io/help.html

mintty: "Alternative font 10" https://github.com/mintty/mintty/wiki/Tips#text-attributes-and-rendering