El archivo dvi se puede imprimir directamente usando un controlador