Retour

selectfont.tex

Télécharger le fichier
Pour le moment, le format $jps$ reconnaît cinq familles de fontes
différentes~: Courier, Times, Symbol, Helvetica et Palatino. Chacune d'entre
elle est disponible en standard, gras, italique, ou gras et italique. 
 
Pour sélectionner une police, on dispose des commandes 
$$\vbox {
\settabs 12 \columns
\+ |setTimes| && |setTimesItalic| &&& |setTimesBold| &&&
|setTimesBoldItalic| \cr
 
\+ |setCourier| && |setCourierItalic| &&& |setCourierBold| &&&
|setCourierBoldItalic| \cr
 
\+ |setPalatino| && |setPalatinoItalic| &&& |setPalatinoBold| &&&
|setPalatinoBoldItalic| \cr 
 
\+ |setSymbol| && |setSymbolItalic| &&& |setSymbolBold| &&&
|setSymbolBoldItalic| \cr
 
\+ |setHelvetica| && |setHelveticaItalic| &&& |setHelveticaBold| &&&
|setHelveticaBoldItalic| \cr
 
}$$
 
Pour utiliser d'autres
fontes, il faut employer directement les ordres Postscript.