typetoken® | The distinction used to clarify the meaning of symbols of formal languages. #type