If And Only If Symbolic Form