Symbols implemented for data types