General Symbols In Logic