symbol type.