#proportional_font  any font whose different characters have different widths
  exclusion:  #typewriter_font
  supertype:  #font__fount__face  a specific size and style of type within a type family
  subtype:  #modern_font__modern__Bodoni__Bodoni_font  a typeface (based on an 18th century design by Gianbattista Bodoni) distinguished by regular shape and hairline serifs and heavy downstrokes
  subtype:  #old_style_font__oldstylefont__old_style__oldstyle  a typeface (based on an 18th century design) distinguished by irregularity and slanted ascender serifs and little contrast between light and heavy strokes
  subtype:  #roman_letters__romanletter__roman__roman_type__romantype__roman_print__romanprint  a typeface used in ancient Roman inscriptions

No statement uses or specializes #proportional_font; click here to add one.