Symbol for integer