any font whose different characters have different widths.

• 不同字符有不同宽度的任何字型。