What symbol is commonly used to represent a file extension?