The latter takes a source file (consisting of text and TeX commands) and produces a device-independent (DVI) file. This DVI file is an "ideal" description of what the typeset pages should look like, ...