Symbol For Proportional Logic