Using ggplot I would like to place digits "2" and "5" at specific coordinates, but in a font that I imported into extrafontdb and I can access: