device-independent document in DVI format
