Source de selectfont.tex

$Fichier TeX$

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.

— Syracuse — Dernière modification : 12 septembre 2004 (0.09s - 3833901 - 5 décembre 2008)