Kitty Terminal 0.40.0 introduces the Text Sizing Protocol: "multiple font sizes ... in a backwards compatible, opt-in way"

Classically, because the terminal is a grid of equally sized characters, only a single text size was supported in terminals, with one minor exception, some characters were allowed to be rendered in...