Symbols Used In Mathematical Logic