font e font [file] - forse glossario

[Francesco Potorti`]

>> I "font" sono i "tipi di carattere".
>> 
>> Ma se vedo scritto "cannot use Times font" traduco
>>  "impossibile usare il carattere Times".
>> 
>> Il "tipo di" è necessario quando si deve chiarire la carattreristica
>> del carattere di cui si parla, ma se si sta già indicando il nome di un
>> tipo di carattere, diventa inutile.
>>  
>
>Oltre a ciò se uso, tornando a ciò da cui si era partiti, "[tipo di]
>carattere TrueType/OpenType/Type1/etc...", riferendomi al file, commetto
>un errore o no? 

No, ma è inutilmente lungo.  Si dice comunemente "i caratteri Truetype",
è perfettamente comprensibile, non è in alcun modo ambiguo.  TI faccio
alcuni esempi inventati.  Se vuoi averne altri, manda gli originali
inglesi che li traduciamo.

È impossibile usare i carateri Truetype.
Questo testo è scritto in Times.
Usare caratteri Times nel corpo del testo.
I tipi di carattere ammissibilii sono: Times, Helvetica, Symbol.