(SET-USER-CHAR-SIZE
x-ratio y-ratio
)
When
font-size
is set to 0, this allows you to give the font any width and height. The font's X and Y sizes are multiplied by the x- and y-ratios. Ratios
are rational numbers, i.e. pairs of integers.