Beside the name of the font, there is a number bracketed number. This refers to the number of dots (or pixels) in each character.
A (5 x 7) font means that the font is designed to print each character 5 dots wide and 7 dots high on the ticket face.
You can alter the size of the font by changing the height or width parameter in the ticket face to make it bigger in one or both directions.