Qu’est-ce que #

a été écrit par Donald Knuth afin qu’il complète Alors que définit la disposition des glyphes sur une page, définit les formes des glyphes et les relations entre eux. détaille les tailles des glyphes, pour le bénéfice de et crée des bitmaps qui peuvent être utilisés pour représenter les glyphes, au profit des programmes qui produiront une sortie imprimée après une exécution de

Le langage de pour définir les polices permet l’expression de plusieurs classes de choses :

  • la géométrie simple des glyphes ;

  • les propriétés du moteur d’impression auquel la sortie est destinée ;

  • des métadonnées qui peuvent distinguer différentes tailles dans la même police, ou les différences entre deux polices appartenant à la même famille (ou apparentée).

Donald Knuth (et d’autres) ont conçu une large gamme de polices à l’aide de Toutefois, la conception de polices à l’aide de est désormais une compétence plus rare encore que celle de l’écriture de commandes C’est pour ainsi dire un art en voie de disparition : peu de nouvelles polices liées à sont actuellement produites à l’aide de De fait, plusieurs des grandes familles de polices (conçues avec ) sont maintenant surtout converties en un autre format de police.

Sources