La taille de la police courante est stockée dans la variable $fontsize$. Elle est fixée par défaut à $12, 5$, et on peut modifier cette valeur avec la commande |setfontsize|. Par exemple, l'instruction |8 setfontsize| sélectionne $8$ pour la taille de la police courante.