Ticker symbol parks in the United States, uses "FUN" as its symbol. Harley-Davidson uses "HOG" for its Harley Owners Group. Yamana Gold uses "AUY", because on the periodic table of elements, "Au" is the symbol for gold. Sotheby's (the famous auction house) uses the symbol "BID". While most symbols come from the company's name, sometimes it happens the other way around. Tricon Global, owner of KFC, Pizza Hut and Taco Bell, adopted the symbol "YUM" to represent its corporate mission when the company was spun out of PepsiCo in 1997. In 2002, the company changed its name to match its symbol, adopting
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