'proportional font' definitions:

Any font whose different characters have different widths [ant: constant-width font, fixed-width font, monospaced font, typewriter font]