Chemical element of metals. Cu comes from Cuprum, Fe comes from Ferrum, Ag from Argentum. The symbols were not followed by a period (full stop) as with abbreviations. Later chemical elements were also assigned unique chemical symbols, based on the name of the element, but not necessarily in English. For example, sodium has the chemical symbol 'Na' after the Latin "natrium". The same applies to "W" (wolfram) for tungsten, "Fe" (ferrum) for iron, "Hg" (hydrargyrum) for mercury, "Sn" (stannum) for tin, "K" (kalium) for potassium, "Au" (aurum) for gold, "Ag" (argentum) for silver, "Pb" (plumbum) for lead, "Cu" (cuprum) for copper, and
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