Help for PS files
PS files are files printable on PostScript printers.
The printout from a PS file looks the same like that from the corresponding DVI file.
But, since PS files take much more time to download than DVI files,
DVI files should be generally preferred to PS files.
PS files in this collection were produced from the same TeX source files the book has been
typeset from.