Silver the periodic table) is useful in nuclear reactors because of its high thermal neutron capture cross-section, good conduction of heat, mechanical stability, and resistance to corrosion in hot water. The word "silver" appears in Anglo-Saxon in various spellings, such as "seolfor" and "siolfor". A similar form is seen throughout the Germanic languages (compare Old High German "silabar" and "silbir"). The chemical symbol Ag is from the Latin word for "silver", "argentum" (compare Ancient Greek ἄργυρος, "árgyros"), from the Proto-Indo-European root *"h₂erǵ-" (formerly reconstructed as "*arǵ-"), meaning "white" or "shining": this was the usual Proto-Indo-European word for the metal, whose reflexes
Non-logical symbol over the signature mentioned above is the ordered group of integers. Its domain is the set formula_1 = {…, –2, –1, 0, 1, 2, …} of integers. The binary function symbol + is interpreted by addition, the constant symbol 0 by the additive identity, and the binary relation symbol < by the relation less than. Outside a mathematical context, it is often more appropriate to work with more informal interpretations. Rudolf Carnap introduced a terminology distinguishing between logical and non-logical symbols (which he called "descriptive signs") of a formal system under a certain type of interpretation, defined by what they