Exacto.
Y para agregar, una
font "times new roman" de, digamos, 4 milímetros de altura era una
font distinta de la misma "times new roman" de 1 centímetro de altura. Eran dos '
fonts' distintas de la misma tipografía.
¿Por qué digo 'eran' si todavía deben de existir?
