... A fianco del formato PostScript per i documenti finali, pronti per la stampa, ne esiste un altro: DVI, il cui nome sta per DeVice Indipendent . ... Si tratta quindi di un formato intermedio che, per essere stampato, richiede una successiva elaborazione. ... Generalmente, l'uso degli strumenti riferiti al formato DVI si limita a dvips che converte file DVI in PostScript. ... Elabora il file mio_file.dvi generando il file mio_file.ps , in formato A4. $  dvips - t a4 mio_file.dvi . ...