An abbreviation that signifies file type.

"In the filename `document.pdf`, `.pdf` is the file extension that indicates the file is a PDF document."