PDF is a type of file format.