DVI (TeX)

DVI ("DeVice Independent" cioè "Indipendente dal dispositivo") è il formato di output del linguaggio di impaginazione T_EX, progettato da Donald Knuth nel 1979. Diversamente dai file T_EX, i file DVI non sono fatti per essere leggibili dall'uomo; consistono di dati binari, contenenti una descrizione della pagina indipendente dal dispositivo di uscita. Il DVI è progettato per dare la migliore qualità visiva sia che sia visualizzato su un monitor sia che sia stampato con una costosa stampante laser a colori. Normalmente un file DVI viene immesso in un DVI driver che si preoccupa di interpretare i comandi del file producendo una rappresentazione bitmap da stampare o visualizzare. Utilizzando un driver opportuno un file DVI può essere stampato, convertito in formato grafico come il TIFF, JPEG, ecc. oppure convertito in un altro formato di descrizione di pagine come il PDF o il PostScript. Teknopedia usa la sintassi di T_EX per definire le formule matematiche che poi vengono passate ad un opportuno driver che le converte in immagini PNG.

I file DVI non sono cifrati ed è possibile rigenerare da essi un documento T_EX, sebbene l'operazione non sia né semplice né indolore. Spesso il file T_EX che si ottiene non ha la stessa qualità del DVI di partenza soprattutto se per generare il file T_EX si sono utilizzate delle estensioni come LaTeX.