Tautology Logic Symbols