P If And Only If Q Symbol