A PDF file is a type of file commonly used for electronic tickets. You will recognize a PDF file if it has “.pdf” at the end of its file name.